常见的序有数值序、文字词典序和集合包含序等。集合包含或被包含序隐含了一种层次结构，概念格就是一种特别的偏序集合。在地理空间中，距离由远及近的渐变关系是一种距离序。两个空间对象之间的包含和被包含的渐变拓扑关系、层次拓扑关系就是一种拓扑序。顺时针方向关系是一种方向序。

给定集合S，P是S上的二元关系。若对于任何a,b,c属于S，P满足：

①自反性，；

②反对称性，且，则a=b；

③传递性，且，则；

则称P是S上的一个偏序关系，集合及其序关系构成了一个偏序集合(S,P)。通常，用来表示偏序关系P，用来表示。

给定集合S，P是S上的偏序关系。若P满足：

④完全性，或；

则称P是S上的一个全序关系，简称全序（total order），又名线性序（linear order）。偏序表达了一些元素可以互相比较，全序表达了所有元素都可以互相比较。