reserve X for set;
reserve UN for Universe;

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