for X being set
for M being Cardinal st X c= M & card X in cf M holds
( sup X in M & union X in M )