Στην θεωρία συνόλων, ένωση δύο συνόλων και (συμβολισμός ) ονομάζουμε το σύνολο που αποτελείται από τα κοινά και μη κοινά στοιχεία των δύο συνόλων.
Μαθηματικά, η ένωση δύο συνόλων και ορίζεται ως εξής:[1][2][3][4]:113
- ή .
Η ύπαρξη αυτού του συνόλου συνήθως είναι ένα από τα αξιώματα του αξιωματικού συστήματος.[4]: 118,148
Για παράδειγμα, για και είναι .