集合\(X\)上の関係\(\leq\)について、\(X\)の任意の元\(a,b,c\)が以下の三つを満たすとき、\(\leq\)を順序関係あるいは順序という。
（反射律）\(a \leq a\)
（反対称律）\(a \leq b\)かつ\(b \leq a\)ならば、\(a=b\)
（推移律）\(a \leq b\)かつ\(b \leq c\)ならば、\(a \leq c\)