順序集合

順序集合（じゅんじょしゅうごう、英: ordered set）は集合の要素の間に順序が定義された集合である。順序とは二項関係であって後述する反射律・推移律などを満たすものであり、実数の大小関係や整除関係、集合の包含関係などを一般化したものである。