:: deftheorem defines regular CARD_5:def 3 :
for IT being Aleph holds
( IT is regular iff cf IT = IT );