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