> Legyen X vegtelen szamossagu halmaz, es legyen B halmaz X halmaznak
> tetszoleges veges elemszamu reszhalmaza. Legyen f:X->H(X) kolcsonosen
> egyertelmu lekepezes X  es H(X) veges reszhalmazai kozott.

Elfelejtetted igazolni, hogy az "f" lekepezes letezik.

Szerintem nem biztos hogy letezik, mert ha X nem megszamlalhato, H(X)
veges elemszamu reszhalmazai pedig megszamlalhato halmazt alkotnak,
akkor nem lehet oket egymasra kepezni kolcsonosen egyertelmuen az eltero
szamossaguk miatt.

z2