关系的基本性质之一。一关系R满足自反性、传递性(见自反关系、传递关系)和反对称性时，就称R为一偏序关系，或简称R为一偏序。其中反对称性是指对于任意的x，y，如果R(x，y)与R(y，x)同时成立，则有x=y。公式的写法为
xy(R(x，y)∧R(y，x)→x=y)。
有时也称上述定义的偏序关系为弱偏序关系，并且把满足传递性与非对称性的关系称为强偏序关系，其中非对称性是指对于任意的x，y，如果R(x，y)成立，则R(y，x)不成立，(即(y，x)成立，亦即
xy(R(x，y)→(y，x))。
习惯上常把偏序关系记做符号≤。这二种关系统称为偏序关系。