全序关系
全序关系
全序关系，也称为线性顺序（）即集合formula_1上的反对称的、传递的和完全的二元关系（一般称其为formula_2）。
若formula_1满足全序关系，则下列陈述对于formula_1中的所有formula_5和formula_6成立：
满足全序关系的集合叫做全序集合、线性序集合、简单序集合或链。
链还常用来描述偏序集合的全序子集。
全序关系的完全性可以如下这样描述：集合中的任何一对元素都是可相互比较的。
注意完全性条件蕴涵了自反性：formula_15，因此全序关系也是（满足“完全性”条件的）偏序关系。
严格全序.
对于每一（非严格）全序关系≤都有一关联的非对称的严格全序关系<，它可以用以下两种等价的方式定义：
性质：
我们可以通过指定formula_29为三分二元关系，用这两种等阶的方式来定义全序formula_2：
另两个关联的关系是补关系formula_36和formula_21，它们构成了四元组formula_38。
我们可以用这四个关系中的任何一个来定义全序集，符号指明了全序集的严格性。
本站由爱斯园团队开发维护，感谢那些提出宝贵意见和打赏的网友，没有你们的支持，网站不可能发展到今天，
继往开来，善终如始，我们将继续砥砺前行。
Copyright ©2014 iissy.com, All Rights Reserved.