Logica matematica/Insiemi: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica
Riga 46:
 
Introduciamo per <math>\subset</math>, <math>=</math> e <math>\subseteq</math> le seguenti definizioni:
{{Definizione|
 
# <math>S \subseteq T</math> sse, per ogni <math>x</math>, <math>x \in S\ implica\ x \in T</math>;
# <math>S=T</math> sse, per ogni <math>x</math>, <math>x \in S\ sse\ x \in T</math>;
# <math>S \subset T</math> sse <math>S \subseteq T\ e\ T \nsubseteq S</math>.
}}
 
{{Avanzamento|25%|31 dicembreluglio 20152018}}
[[Categoria:Logica|Insiemi]]