Unione (insiemistica): differenze tra le versioni

Dalla definizione segue immediatamente che l'unione è un'[[operazione commutativa]], in simboli:

:<math>A \cup B = B \cup A</math>

:<math>x \in A \cup B \Leftrightarrow x \in A \vee x \in B \Leftrightarrow x \in B \vee x \in A \Leftrightarrow x \in B \cup A </math>

 

L'unione è inoltre un'[[operazione associativa]]:

:<math>( A \cup B ) \cup C = A \cup (B \cup C )</math>

:<math>x \in ( A \cup B ) \cup C \Leftrightarrow x \in A \cup B \vee x \in C \Leftrightarrow x \in A \vee x \in B \vee x \in C \Leftrightarrow </math>

:<math> x \in A \vee x \in B \cup C \Leftrightarrow x \in A \cup (B \cup C) </math>

==Voci correlate==

* [[Intersezione]]

* [[Teoria degli insiemi]]