for x being object st x in omega holds
x is cardinal