for W being Universe
for X being set st X in W holds
sup X in W