Monday, September 22, 2008

Subspace topology

Suppose X, Y are topological spaces and that X⊆Y.
Then X is the subspace topology of Y if and only if the inclusion map j: X →Y is homeomorphism onto its image.

1 comment:

Joon said...

If you replace "topological space" with "model" and "homeomorphism" with "embedding", then the definition of subspace becomes that of submodel.