全序，偏序

全序是指，集合中的任意两元素之间可以进行比较的关系，而偏序是指，集合中部分元素之间有可以比较的关系。如实数中的任意两个数能比较大小，那么“大小”就是实数集的一个全序关系；复数集中并不是所有数都可以比较大小，那么“大小就是复数集上的一个偏序关系”
偏序关系是全序关系的子集，某集合上的一个全序关系一定是一个偏序关系，反之这不一定成立。
假设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是传递的。

标签：偏序,关系,那么,任取,元素,全序
来源： https://www.cnblogs.com/shuaiqideren/p/16394787.html