摘要：
说到偏序集，在离散里的定义是： 设R为非空集合A上的关系，如果R是自反的、反对称的和传递的，则称R为A上的偏序关系，简称偏序，记作≤。偏序是在集合X上的二元关系≤（这只是个抽象符号，不是“小于或等于”），它满足自反性、反对称性和传递性。即，对于X中的任意元素a,b和c，有:自反性：a≤a;反对称性：如果a≤b且b≤a，则有a=b;传递性：如果a≤b且b≤c，则a≤c 。 带有偏序关系的集合称为偏序集。令(X,≤)是一个偏序集，对于集合中的两个元素a、b，如果有a≤b或者b≤a，则称a和b是可比的，否则a和b不可比。在X中，对于元素a，如果任意元素b，由b≤a得出b=a，则称a为极小元。一个反链 阅读全文
