theorem Th23: :: WAYBEL25:23

for X being TopSpace
for A being open Subset of (Omega X) holds A is upper