theorem Th19: :: ORDINAL2:19

for A being Ordinal
for X being set st A in X holds
A in sup X