for M being non countable Aleph
for X being Subset of M st omega in cf M holds
for f being sequence of X holds sup (rng f) in M