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