偏序集
曾经听某位大佬说过，《组合数学》的第一页就用到了偏序集的定义，但是由于学的不精，第一页就劝退了，那好吧，看一下什么是偏序集。
这里只介绍偏序集的定义，不定更新
前置芝士：关系.
不会可以去看维基
纯理论的东西。
偏序：
集合\(X\)上的偏序是一个自反(\(XRX\))，反对称(\(XRY->Y \not R X\))且传递(\(XRY,YRZ->XRZ\))的关系。
严格偏序：是一个反自反(\(X \not RX\))，反对称，且传递的关系。
如果\(R\)是一个偏序,那么通常使用符号\(\le\)来表示\(R\)
在其上定义了偏序\(le\)的集合X有时也叫偏序集，记做\((X，\le)\)
偏序集可以用几何方法来表示.
我们定义偏序集的覆盖关系，然后用图(Hasse图)表示出来。
全序：
偏序集的线性扩展
全序T是偏序\(\le\)的线性扩展，只要x≤y在\(\le\)中成立则x≤y在T中也成立。在计算机科学中，找到偏序的线性扩展的算法叫做拓扑排序。
看不懂的可以看下面的参考资料
参考资料：
《组合数学》(第五版)
wiki-关系(数学)
wiki-偏序关系
百度百科-偏序集
百度百科-偏序关系