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