定義
X を前順序集合(過去スレ008の139)とする。
X のイデアル(>>527)で最大元を持つものを主イデアル(principal ideal)と言う。
X のフィルター(>>527)で最小元を持つものを主フィルター(principal filter)と言う。