Closed subset of closed subspace is closed

From Topospaces
(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 .

Related facts