设R为非空集合A上的关系，如果R是自反的、反对称的和传递的，则称R为A上的偏序关系，简称偏序，记作≦。

一个集合A与A上的偏序关系R一起叫作偏序集，记作<A,R>或<A, ≦>。

设≦为A上的偏序关系，如果有序对<x,y>属于偏序，可记作x≦y，读作“x小于等于y”，此处小于等于是指x、y在偏序中位置的先后。