Closed subset of closed subspace is closed
(Redirected from Closedness is transitive)
Statement
Suppose is a topological space and is a closed subset of . Suppose is a subset of that is a closed subset of under the subspace topology on from . Then, is also a closed subset of .