Topological Subspace is Topological Space/Proof 2

Proof
Follows directly from Subspace Topology is Initial Topology with respect to Inclusion Mapping.

Also see

 * Definition:Topological Subspace