Cookie Policy Terms and Conditions >
设是一个偏序关系,若对于任意的元素,都有或,即x和y是可比的,则称为一个全序关系,或线序关系。
一个集合配上关联的全序关系被称为全序集合、线序集合或链。
全序集合还可以定义为一个特定种类的格,在其中有
我们写 a ≤ b 当且仅当 。可得出全序集合是分配格。
页面分类: 序理论