Homotopically injective subspace
Template:Homotopy-dependent toposubspace property
This term is nonstandard and is being used locally within the wiki. For its use outside the wiki, please define the term when using it.
Definition
A subspace of a topological space is said to be homotopically injective if the maps on all homotopy groups induced by its inclusion, are injective.