theorem Th19: :: CLASSES4:19

FinSETS is denumerable by CLASSES2:62, CLASSES2:64, CARD_3:def 15;