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
.