for M being Aleph
for X being Subset of M st X is unbounded holds
cf M c= card X