Boolean algebra
ブール代数の表現論における集合体.