Template:Subspace property implication

Subspace property implication formalism

This property of topological spaces can be encoded by the fact that one subspace property implies another