摘要: 说到偏序集,在离散里的定义是: 设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为极小元。一个反链 阅读全文
posted @ 2011-08-21 13:16 笑巧 阅读(1534) 评论(0) 推荐(0) 编辑