この記事には複数の問題があります。改善やノートページでの議論にご協力ください。 出典は脚注などを用いて記述と関連付けてください。(2019年6月) 独自研究が含まれているおそれがあります。(2019年6月) 順序集合(じゅんじょしゅうごう、英: ordered set)は集合の要素の間に順序が定義された集合。順序とは二項関係であって後述する反射律・推移律などを満たすものであり、数の大小関係などを一般化したものである。 全ての2要素が比較可能(順序が定義されている)ものを特に全順序集合(totally ordered set; toset)という。例えば実数における大小関係は全順序集合である。 また、全順序ではない順序集合の例としては、正の整数全体の集合に整除関係で順序を定めたものや、(2つ以上元を含む)集合の冪集合において、包含関係を順序と見なしたものがある。 後述するように、順序が満たす
![順序集合 - Wikipedia](https://cdn-ak-scissors.b.st-hatena.com/image/square/6404630ef8df6652bc213bc59c4a680c5ea81edf/height=288;version=1;width=512/https%3A%2F%2Fupload.wikimedia.org%2Fwikipedia%2Fcommons%2Fthumb%2Fe%2Fea%2FHasse_diagram_of_powerset_of_3.svg%2F150px-Hasse_diagram_of_powerset_of_3.svg.png)