Fællesmængde, se mængdealgebra.