Logica matematica/Insiemi: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Riga 98:
# <math>S \cup \emptyset=\emptyset \cup S=\{x|x \in S\ oppure\ x \in \emptyset\}=\{x|x \in S\}=S</math>;
# <math>S_1 \cup S_2=\{x|x \in S_1\ oppure\ x \in S_2\}=\{x|x \in S_2\}=S_2</math> sse, per ogni <math>x</math>, <math>x \in S_1\ implica\ x \in S_2</math> sse <math>S_1 \subseteq S_2</math>;
#
#<math>S_1=\{x|x \in S_1\} \subseteq \{x|x \in S_1\ oppure\ x \in S_2\}=S_1 \cup S_2</math>;
#Analogo al precedente.
== Insieme potenza ==
|