スレタイ箱入り無数目を語る部屋33(あほ二人の”アナグマの姿焼き"Part7ｗ)

>超フィルタ補題はブール代数におけるBPIと同値。
実はこれは自明。なぜならブール代数において超フィルタと素イデアルは双対（いずれかの裏が他方の表）の関係にあるから。