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
[[Categoria:Logica|Insiemi]]
|