定義
X を前順序集合(過去スレ008の139)とする。
I を X のイデアル(過去スレ021の139)とする。
I ≠ X で I を含む X のイデアルは I と X のみであるとき I を X の極大イデアルと言う。