En union av to mengder A og B, er mengden av alle elementer som befinner seg enten i A, i B, eller i begge.

Der snitt betyr "både og", vil union bety "eller".