Komplementærmængde, se mængdealgebra.