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