Homologically injective subspace
Template:Homology-dependent toposubspace property
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.