EDB — 242

Teoria degli insiemi elementare[242]

Come già spiegato nella Definizione [1X2]↺↻, nella teoria degli insiemi si aggiunge il connettivo “$\in$” ; dati due insiemi $z,y$ la formula $x\in y$ si legge “$x$ appartiene a $y$” o più semplicemente “$x$ è in $y$”, e indica che $x$ è un elemento di $y$.

È uso indicare gli insiemi usando come variabili lettere Italiane maiuscole.

[226]↺↻

Si scrive usualmente $x\notin y$ per $\mathrm{\neg }(x\in y)$, $x⊈y$ per $\mathrm{\neg }(x\subseteq y)$ e così via.

Viene inoltre definita la costante $\mathrm{\varnothing }$ indicato anche come $\{\}$ che è l’insieme vuoto, ¹ caratterizzato da

Si dimostra che l’insieme vuoto è unico.

Si introducono dunque alcune concetti fondamentali: unione, intersezione, differenza simmetrica, insieme potenza, prodotto cartesiano, relazioni, funzioni etc.

L’insieme potenza è definito come in [1Y1]↺↻.

E41

[1W6]↺↻

E41

[1W8]↺↻

E41

[1W9]↺↻

E41

[1WB]↺↻

E41

[1W2]↺↻

E41

[1WF]↺↻

E41

[1Y4]↺↻

E41

[1WC]↺↻

E41

[24P]↺↻

Mentre nella teoria formale tutto gli elementi del linguaggio sono insiemi, nella pratica si tende a distinguere fra gli insiemi, e gli altri oggetti della Matematica (numeri, funzioni, etc etc); per questo nel seguito useremo in genere le lettere maiuscole per indicare gli insiemi, e le lettere minuscole per indicare altri oggetti.