Equipudenza

Modell:Sbozz

Düü cungjuunt E e F i è dii equipudeent, vargot che sa l nota E ˜ F, si al esiist una bigezziú da E sü F.

Sa dirà, cura che düü cungjuunt i è equiputent, ch’i gh’a la istessa cardinalitaa, i.e. la istessa « talja » u amò l istess nümar d'elemeent.

L'equiputenza la curespuunt al fatt da vess isumòrfich in la categuría $𝒮et$ (la categuría di cungjuunt münii di funziú tutale).

Int un cungjuunt da cungjuunt, la relazziú d'equiputenza a l’è una relazziú d'equivalenza. Però sa gh'a mia ul drecc da parlá da relazziú sül iputétich « cungjuunt di cungjuunt » par che cheest-chí al esiist mia (vidée: paradoss da Russell).

Vidée apó :

• bigezziú
• isumurfiism
• Nümar cardinaal