Delmængde, se mængdealgebra.