Homologically injective subspace
Template:Homology-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 homologically injective if the map on homology induced by its inclusion, is injective for all homology groups.