Locally homotopy-negligible subset

From Topospaces

This article defines a property over pairs of a topological space and a subspace, or equivalently, properties over subspace embeddings (viz, subsets) in topological spaces

Definition

A subset of a topological space is said to be locally homotopy-negligible if for every open subset of containing , the inclusion map from to is a homotopy equivalence.