Foreningsmængde, se mængdealgebra.