ブール代数
逆にブール代数 上に超フィルター が与えられたとき、 を