theorem Th2: :: WELLFND1:2

for M being regular Aleph
for X being set st X c= M & card X in M holds
sup X in M