定義
X を束(過去スレ021の156)とする。
F を X のフィルター(過去スレ021の527)とする。
F ≠ X で a∨b ∈ F ⇒ a ∈ F または b ∈ F となるとき F を素フィルター(prime filter)と言う。