鉴于这个神（xie）奇（e）的东西在我眼前晃过的次数已经过多了，于是决定系统的学习一下。本文参考了OI-Wiki序理论，并在此基础上增添了很多个人理解，特此鸣谢。前置知识：集合、基础图论。二元关系定义何为二元关系（binaryrelation）？感性理解，二元关系就是function<bool(T1,T2)>，比如说: