Vereniging, of
unie, is een begrip uit de
verzamelingenleer. De vereniging van een aantal
verzamelingen is de verzameling die bestaat uit alle
elementen van de samenstellende verzamelingen. De vereniging van de verzamelingen
A en
B wordt genoteerd als
A ∪
B.