Subspace topology is transitive
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.