Open subset of open subspace is open
(Redirected from Openness is transitive)
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 .