# 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.