過去スレ021の528の修正

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