set of elements B{+}, {$\\cdot$}, {'} 세 가지 연산이 존재아래의 Axioms를 만족 -> B와 세 가지 연산은 Boolean algebra를 구성한다.B는 적어도 두 개의 서로 다른 원소 a, b를 포함한다.ClosureFor every