theorem Th19: :: CARD_FIL:19

for X being infinite set
for Y being Subset of X holds
( Y in Frechet_Ideal X iff card Y in card X )