全序，偏序

假设A是一个集合 {1,2,3} ；R是集合A上的关系，例如{<1,1>,<2,2>,<3,3>,<1,2>,<1,3>,<2,3>}

• 自反性：任取一个A中的元素x，如果都有<x,x>在R中，那么R是自反的。
• 对称性：任取一个A中的元素x,y，如果<x,y> 在关系R上,那么<y,x> 也在关系R上，那么R是对称的。
• 反对称性：任取一个A中的元素x,y(x!=y)，如果<x,y> 在关系R上,那么<y,x> 不在关系R上，那么R是反对称的。
• 传递性：任取一个A中的元素x,y,z，如果<x,y>,<y,z> 在关系R上，那么 <x,z> 也在关系R上，那么R是传递的。

偏序:  设R是非空集合A上的关系，如果R是自反的，反对称的，和传递的，则称R是A上的偏序关系。

全序：如果R是A上的偏序关系，那么对于任意的A集合上的 x,y，都有 x <= y，或者 y <= x，二者必居其一，那么则称R是A上的全序关系。

全序也是一种偏序。偏序 关键在于反对称性上，就是说，<x,y> 在关系R上，那么 <y,x> 不在关系R上，那我问你，<y,x> 关系是啥，就是大家都不知道。所以说偏序就在于你的集合A={1,2,3,4}，有一些元素的关系根据R你是得不出的。那么既然你不知道这个<y,x>，那么全序关系上，就多加一个条件，都有 x <= y，或者 y <= x，二者必居其一，这样就知道了。

偏序举例：

假设有 A={1,2,3,4}，假设R是集合A上的关系：

{<1,1>,<2,2>,<3,3>,<4,4>,<1,2>,<1,4>,<2,4>,<3,4>}，那么：

1. 自反性：可以看到 <1,1>,<2,2>,<3,3>,<4,4> 都在R中，满足。
2. 反对称性：由于 <1,1>,<2,2>,<3,3>,<4,4> 不属于 x !=y ，所以不考虑这4种，对于 <1,2>，有 <2,1> 不在R中；对于<2,4> 有<4,2>不在R中；对于<3,4> 有<4,3> 不在 R中，满足。
3. 传递性：<1,1><1,2>在R中，并且<1,2>在R中；<1,1><1,4>在R中，并且<1,4>在R中；<2,2><2,4>在R中，并且<2,4>在R中；<3,3><3,4>在R中，并且<3,4>在R中；等等其他，满足。

所以说R是偏序关系。

全序举例：

假设有 A={a,b,c}，假设R是集合A上的关系：

{<a,a>,<b,b>,<c,c>,<a,b>,<a,c>,<b,c>}

和上述一样，可以证明具有自反性，反对称性，传递性，所以是偏序的，有因为有 <a,b>,<a,c>,<b,c>， 也就是说两两关系都有了，所以满足对于任意的A集合上的 x,y，都有 x <= y，或者 y <= x，二者必居其一，所以说是全序关系。

偏序集：任意一个元素，存在另一个元素，它们之间可以比较大小。

全序集：任意两个元素可以比较大小。

全序就是任何两个元素能比较大小，偏序不一定。

偏序中"偏"是英文中的partial，其实是"部分的"的意思，部分表现在只有某些元素是可比的，而某些元素是不可比的。