この記事には複数の問題があります。改善やノートページでの議論にご協力ください。 出典は脚注などを用いて記述と関連付けてください。(2019年6月) 独自研究が含まれているおそれがあります。(2019年6月) 順序集合(じゅんじょしゅうごう、英: ordered set)は集合の要素の間に順序が定義された集合。順序とは二項関係であって後述する反射律・推移律などを満たすものであり、数の大小関係などを一般化したものである。 全ての2要素が比較可能(順序が定義されている)ものを特に全順序集合(totally ordered set; toset)という。例えば実数における大小関係は全順序集合である。 また、全順序ではない順序集合の例としては、正の整数全体の集合に整除関係で順序を定めたものや、(2つ以上元を含む)集合の冪集合において、包含関係を順序と見なしたものがある。 後述するように、順序が満たす