半順序
partial order。poset
$ Pを臺集合として二項關係との組$ (P,\le_{\subseteq P\times P})は以下を滿たすならば半順序である
$ (P,\le)は前順序
反對稱律$ x\le y且つ$ y\le xならば$ x=y