Boolean algebra
Inclusion (Boolean algebra)