偏序集合（，简写）是数学中，特别是序理论中，指配备了偏序关系的集合。这个理论将对集合的元素进行排序、顺序或排列等直觉概念抽象化。这种排序不必是全部的，就是说不需要保证此集合内的所有对象的相互可比较性。偏序集定义了部分排拓扑。
定义.
非严格偏序，自反偏序.给定集合S，“≤”是S上的二元关系，若“≤”满足：则称“≤”是S上的非严格偏序或自反偏序。
严格偏序，反自反偏序.给定集合S，“＜”是S上的二元关系，若“＜”满足：则称“＜”是