insieme

elemento

appartenenza

Insiemi

- non conta l’ordine

- non c’è duplicità di elementi

- finito
- definito per tabulazione {}
- definito per appartenenza degli elementi
- insieme delle parti

- infinito

- relazioni tra insiemi

- uguaglianza: quando hanno gli stessi elementi
- inclusione e inclusione stretta (sottoinsieme)

- simbolici logici
- ∀ quantificatore universale
- ⟹ implicazione logica
- ∃ quantificatore esistenziale
- : tale che
- ∉ non appartenenza (tra elementi ed insiemi)
- ∈ appartenenza (tra elementi ed insiemi)
- ⊆ inclusione (tra insiemi)
- ⊆≠ inclusione stretta
- = uguaglianza
- 0 insieme vuoto