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