:: deftheorem defines continuum TOPGEN_3:def 4 :
continuum = card REAL;