Foreningsmængde

(eller: union).

I mængdelære betegnelsen for en operation på to mængder, der som resultat giver en mængde bestående af såvel de elementer, der findes i den første mængde, som de elementer, der findes i den anden mængde. Da der pr. definition ikke kan være to ens elementer i en mængde, vil eventuelle dubletter kun forekomme én gang i resultatet.

I den relationelle datamodel er en relation en mængde og en tupel et mængdeelement. Derfor bliver foreningsmængde i en relationsdatabase til en funktion på to relationer, der som resultat giver en relation, der indeholder alle de tupler, der er i den ene relation, og alle de tupler, der er i den anden relation, se figur under relationsdatabase.

Eventuelle dubletter findes kun én gang i resultatet. De to relationer skal være foreningskompatible, dvs. de skal have samme antal attributter, og disse skal være defineret over samme domæner.

Se også fællesmængde.