偏序与全序

偏序和全序是公里集合论中的概念。

首先你要知道什么是二元关系。
比如实数中的“大小”关系，集合的集合中的“包含”关系就是两种二元关系。

所谓偏序，即偏序关系，是一种二元关系。
所谓全序，即全序关系，自然也是一种二元关系。

全序是指，集合中的任两个元素之间都可以比较的关系。比如实数中的任两个数都可以比较大小，那么“大小”就是实数集的一个全序关系。

偏序是指，集合中只有部分元素之间可以比较的关系。比如复数集中并不是所有的数都可以比较大小，那么“大小”就是复数集的一个偏序关系。

显然，全序关系必是偏序关系。反之不成立。