Subspace topology is transitive

From Topospaces

Statement

Suppose , where is a topological space. Then, there are two ways to obtain a topology on :

  • Take the subspace topology on coming from the topology on
  • First, take the subspace topology on coming from the topology on . Then, take the subspace topology on from this topology on

Both these topologies on are the same.