「極大」

順序集合（じゅんじょしゅうごう、英: ordered set）は集合の要素の間に順序が定義された集合である。順序とは二項関係であって後述する反射律・推移律などを満たすものであり、実数の大小関係や整除関係、集合の包含関係などを一般化したものである。
順序が満たす公理の種類により、前順序集合、半順序集合、全順序集合がある。多く場合、半順序集合を指して「順序集合」と呼ぶが、分野によっては前順序集合や全順序集合を指す。

出典：Wikipedia日本語版