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