定義
X を下半束(過去スレ021の116)とする。
A を X の空でない部分集合とする。
>>131より A を含む最小のフィルター(過去スレ021の527) F が存在する。
F を A で生成されるフィルターと言い、I = [A) と書く。