擬順序（前順序）

集合 $P$ 上の二項関係 $\lesssim$ が反射律（$x \lesssim x$）と推移律（$x \lesssim y$ かつ $y \lesssim z$ なら $x \lesssim z$）を満たすとき、$\lesssim$ を擬順序（前順序）といい、$(P, \lesssim)$ を擬順序集合という。反対称律は要求しない。