全順序
total order
$ Pを臺集合として二項關係との組$ (P,\le_{\subseteq P\times P})は以下を滿たすならば全順序である
$ (P,\le)は半順序
全順序律$ \forall x,y_{\in P}(x\le y\lor y\le x)