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