Open subset of open subspace is open

From Topospaces

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 .

Related facts