theorem Th94:
  for B being Subset of X modified_with_respect_to A st B = A holds B is open
by Th91;
