subspace is open then every open set in subspace is open