theorem Th20: :: ORDINAL2:20

for D being Ordinal
for X being set st ( for A being Ordinal st A in X holds
A in D ) holds
sup X c= D