theorem Th1: :: WAYBEL32:1

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