Ένωση συνόλων

Στην θεωρία συνόλων, ένωση δύο συνόλων  και  (συμβολισμός ) ονομάζουμε το σύνολο που αποτελείται από τα κοινά και μη κοινά στοιχεία των δύο συνόλων.

Μαθηματικά, η ένωση δύο συνόλων  και  ορίζεται ως εξής:
 ή .
Η ύπαρξη αυτού του συνόλου συνήθως είναι ένα από τα αξιώματα του αξιωματικού συστήματος.

Για παράδειγμα, για  και  είναι .

Ιδιότητες της πράξης της ένωσης συνόλων 
Η ένωση συνόλων είναι μια πράξη μεταξύ συνόλων, για την οποία ισχύουν οι ιδιότητες: 
(όπου Α, Β, Γ ⊆ Ω και Ø είναι το κενό σύνολο)
  (ανακλαστική ιδιότητα)
 
  (αντιμεταθετική ιδιότητα)
  (προσεταιριστική ιδιότητα)
  και 
 
 
 
  και 

Ακόμη για τις πράξεις της ένωσης και της τομής συνόλων ισχύουν και οι γενικές ιδιότητες:
  (επιμεριστική ιδιότητα της ένωσης ως προς την τομή)
  (επιμεριστική ιδιότητα της τομής ως προς την ένωση)
  (ιδιότητα της απορρόφησης)

Παραπομπές

Εξωτερικοί σύνδεσμοι 
 

Ενωση
Δυαδικές πράξεις