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