半序集
帕特里克玉米做出了贡献
一个半序集是一组 与的关系 在 让人满意的原因:
(1) 对所有 (自反性)
(2)如果 而且 ,然后 (反对称性)
(3)如果 而且 ,然后 (传递性)
注意,对于两个给定的元素 而且 ,可能就不是这样了 而且 是类似的,也就是说, 或 .如果这对所有配对都成立 而且 在 ,我们说 是完全命令.
一组 世界上的人,都有 由“是的直接后代”定义的,是一个部分有序集。一组 正整数的 由“分”定义,是一个部分有序集。
注意,这两个集合都不是完全有序的。兄弟姐妹是不可比的 ,因为他们彼此不是直接的后代;而且 而且 没有可比性 因为两者都不分裂对方。
引用:半序集。Brilliant.org.检索从//www.parkandroid.com/wiki/partially-ordered-set/