定義
X を前順序集合(過去スレ008の139)とする。
F を X のフィルター(過去スレ021の527)とする。
F ≠ X で F を含む X のフィルターは F と X のみであるとき F を X の極大フィルターと言う。