偏序集合

偏序集合（英语：Partially ordered set，简写 poset）在数学中，特别是序理论中，是指配备了偏序关系的集合。这个关系形式化了排序、顺序或排列这个集合的元素的直觉概念。这种排序不必然需要是全部的，就是说不需要但也可以保证在这个集合内的所有对象的相互可比较性。(在数学用法中，全序是一种偏序)。偏序集合定义了偏序拓扑。设R是非空集合A上的一个二元关系，若R满足： 自反性、反对称性、传递性，则称R为A上的偏序关系。