Closed subset of closed subspace is closed

From Topospaces

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