Teoria ingenua degli insiemi: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m typo |
|||
Riga 46:
Questa notazione è chiamata [[notazione tabulare]] (o "'''notazione per inclusione'''", in modo particolare nella [[programmazione funzionale]]).
Alcune varianti della notazione tabulare sono:
*{''x'' ∈ ''A'' : ''P''(''x'')} denota l'insieme di tutti gli ''x'' ''elementi di A'' tali che la condizione ''P'' valga per ''x''. Ad esempio, se '''Z''' è l'insieme degli [[numero intero|interi]], allora {''x'' ∈ '''Z''' : ''x'' è pari} è l'insieme di tutti gli
*{''F''(''x'') : ''x'' ∈ ''A''} denota l'insieme di tutti gli oggetti ottenuti applicando la formula ''F'' agli elementi di ''A''. Ad esempio, {2''x'' : ''x'' ∈ '''Z'''} è ancora l'insieme di tutti gli interi pari. (Vedi [[Assioma di rimpiazzamento|assioma della sostituzione]].)
*{''F''(''x'') : ''P''(''x'')} è la forma più generale per la notazione tabulare. Ad esempio, {proprietario di ''x'': ''x'' è un cane} è l'insieme di tutti i proprietari di cani.
| |||