Assioma dal cungjuunt da le parte
From Wikipedia
| Artícuj relazziunaa a matemàtica |
| Cheest artícul al è scrivüü in Koiné matemàtica, urtugrafía ünificada. |
In matemàtica, l'assioma dal cungjuunt da le parte al è ü di assiòom da Zermelo-Fraenkel da la teuría assiumàtega di cungjuunt. Íntal lenguagg furmaal di assiòom da Zermelo-Fraenkel, l'assioma sa l scriif:
Cuma l’inclüsiú a l’è definida furmalameent par :
la scritüra da l'assioma la pöö sa semplifiá in :
u in d'òolt tèrmen:
- Par cada cungjuunt E, al esiist un cungjuunt P taal che cada cungjuunt F al è un elemeent da P si e noma si al è una paart da E.
Sa l pöö druvá l'assioma d'estensiunalitaa par pruvá che cheest cungjuunt P al è ünich par E daa. A apelemm ul cungjuunt P « cungjuunt da le parte da E », e al nutemm «
» (u «
»).
L'assioma dal cungjuunt da le parte al è generalameent cunsideraa cuma incuntestàbil, e al, u ü daj söö equivaleent, al pariss in dabot tüta assiumàtega alternativa da la teuría di cungjuunt.
![\forall E , \exists P /\, \forall F , ( F \in P ) \Leftrightarrow [ \forall x , ( x \in F ) \Rightarrow ( x \in E ) ] \,](../../../math/1/9/6/196001d10d0c64329bf8f611138fe264.png)
![\forall E , \forall F , ( F \subseteq E ) \Leftrightarrow [ \forall x , ( x \in F ) \Rightarrow ( x \in E ) ] \,](../../../math/9/9/1/991968618a1888516da5c0890b6d84d7.png)


