ブール代数
とおけば "B" はブール代数となる。