In matematica, e in particolare in teoria degli insiemi, esiste un'operazione detta unione (simbolo ) di insiemi. Il simbolo deriva da U, l'iniziale della parola "unione".[1] Dati due insiemi e , la loro unione è un insieme formato da tutti e soli gli elementi che appartengono:
L'unione è un'operazione binaria. Nell'algebra booleana corrisponde all'operatore OR; in logica, corrisponde alla disgiunzione inclusiva.