Equipotència: diferència entre les revisions

Açò prova que dins tot conjunt <math>\mathcal{E}</math> de conjunts, la [[relació binària]] d'equipotència és una [[relació d'equivalència]], i que el [[relació d'equivalència#Conjunt quocient|conjunt quocient]] <math>\mathcal{E} / \approx\quad</math> pot ésser identificat al conjunt dels cardinals dels elements de <math>\mathcal{E}</math>. <br>Per exemple, si <math>\mathcal{E} = \mathcal{P}(\Omega)</math> és el [[conjunt#conjunt de les parts|conjunt de les parts]] d'un conjunt <math>\Omega</math>, l'equipotència és una relació d'equivalència dins <math>\mathcal{E}</math>.

 

 

==Teorema de Cantor-Bernstein==