Boolean algebra
最初の3つの法則が束を定義し、最初の5つの法則がブール代数を定義する。