Logica matematica/Insiemi: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Riga 157:
#<math>S_1=S_2</math> sse <math>\overline{S_1}=\overline{S_2}</math>;
#<math>S_1 \subseteq S_2</math> sse <math>\overline{S_2} \subseteq \overline{S_1}</math>.
''Dimostrazione''
# <math>\overline U=\{x|x \in U\ e\ x \not\in U\}=\emptyset</math>;
# <math>\overline \emptyset=\{x|x \in U\ e\ x \not\in \emptyset\}=U</math>;
== Insieme potenza ==
| |||