Open subset of open subspace is open
Statement
Suppose is a topological space and is an open subset of . Suppose is a subset of that is an open subset of under the subspace topology on . Then, is also an open subset of .
Suppose is a topological space and is an open subset of . Suppose is a subset of that is an open subset of under the subspace topology on . Then, is also an open subset of .