for T being non empty up-complete upper TopPoset
for A being Subset of T st A is open holds
A is upper