Concetto di insieme e di elemento

Un insieme è un gruppo (o collezione) di elementi che sono definiti e distinti fra loro. Un insieme si definisce tale solo se la condizioni di esistenza sono soddisfatte.
Condizioni di esistenza di un insieme: bisogna stabilire oggettivamente e inequivocabilmente se un oggetto è o non è elemento dell'insieme. Gli elementi di uno stesso insieme devono essere differenti tra loro cioè un elemento non può essere ripetuto.
Concetto di appartenenza e non appartenenza: un elemento può appartenere o non appartenere a un insieme. Per indicare che un elemento:
- appartiene a un insieme si usa il simbolo £$ \in $£;
- non appartiene si usa lo stesso simbolo, ma barrato £$ \notin $£.