for X being set
for B being Subset-Family of X st B = {X} holds
B is upper