Appartenenza
![Abbozzo](http://upload.wikimedia.org/wikipedia/commons/thumb/0/0e/Puzzle_stub.svg/45px-Puzzle_stub.svg.png)
Questa voce sull'argomento logica è solo un abbozzo.
Contribuisci a migliorarla secondo le convenzioni di Wikipedia.
In matematica, in particolare in teoria degli insiemi, l'appartenenza (simbolo ) di un elemento ad un insieme è la relazione (binaria) che stabilisce se è compreso, in senso intuitivo, tra gli elementi di . Se l'elemento appartiene all'insieme si scrive , in caso contrario .
Il simbolo di appartenenza venne introdotto dal matematico Giuseppe Peano nel 1889[1], durante i suoi studi sull'assiomatizzazione della matematica.
In teoria degli insiemi la definizione appena fornita viene considerata naïf, banale.
Note
- ^ (IT) Charles Roberts, Introduction to Mathematical Proofs, Second edition, Chapman and Hall/CRC., 2015, p. 39, ISBN 9781482246896.
Collegamenti esterni
- appartenenza, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.
- (EN) Eric W. Weisstein, Appartenenza, su MathWorld, Wolfram Research.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/af/Crystal128-kmplot.svg/25px-Crystal128-kmplot.svg.png)