theorem Th6: :: WAYBEL19:6

for T being non empty transitive lower TopRelStr
for A being Subset of T st A is closed holds
A is upper