Boolean algebra
また "B" がブール代数のとき