theorem :: ORDINAL2:21

for A being Ordinal
for X being set st A in sup X holds
ex B being Ordinal st
( B in X & A c= B )