最后还要加上一个附注,我们已经给出了集合上严格偏序的定义,却没有说偏序是什么。设≺ 是集合 A 上的一个严格偏序。将 ⪯ 定义为 α ≺ b 或 α=b ,则关系 ⪯ 为 A 上的一个偏序(partial order)。例如,集簇中的包含关系 ⊂ 是一个偏序,而真包含关系是一个严格偏序。
大多数作者宁可讨论偏序,而不讨论严格偏序。极大原理和Zorn引理也往往用偏序加以描述。究竟使用哪种方式,只是个人的嗜好与讨论方便的问题而已。
数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。