union (senlat. uʹnio, genitiv unioʹnis, ’enhet’; ’förening’, av latin uʹnus ’en’, ’en enda’), föreningsmängd, matematisk term för en mängd som uppstått genom sammanslagning av två eller flera mängder.