目录
偏序关系
偏序集合（Partially ordered set，简写poset）是数学中，特别是序理论中，指配备了部分排序关系的集合。 这个理論將排序、顺序或排列这个集合的元素的直觉概念抽象化。这种排序不必然需要是全部的，就是说不必要保证此集合内的所有对象的相互可比较性。部分排序集合定义了部分排拓扑。.
查看 极小元和偏序关系
极大元
设(A, \leq)是偏序集，B \subseteq A，y \in B，若对于所有的x \in B，y \leq x ~\implies~x.
查看 极小元和极大元
最大元
设(A, \leq)是偏序集，B \subseteq A，y \in B，若对于所有的x，x \in B~\implies~x \leq y，则称y为B的最大元。 请注意最大元和极大元的区别。最大元是B中最大的元素，它与B中其它元素都可比；而极大元不一定与B中其它元素都可比，只要没有比它大的元素，它就是极大元。对于有穷集合B，极大元一定存在，但最大元不一定存在。最大元如果存在一定是唯一的，但极大元可能有多个。.
查看 极小元和最大元
最小元
设(A, \leq)是偏序集，B \subseteq A，y \in B，若对于所有的x \in B都有y \leq x，则称y为B的最小元。 请注意最小元和极小元的区别。最小元是B中最小的元素，它与B中其它元素都可比；而极小元不一定与B中其它元素都可比，只要没有比它小的元素，它就是极小元。对于有穷集合B，极小元一定存在，但最小元不一定存在。最小元如果存在一定是唯一的，但极小元可能有多个。.
查看 极小元和最小元
亦称为 极小元素。