ブール代数
Inclusion (Boolean algebra)