Excision theorem (source code)

= Excision theorem
{c}
{wiki}

Excision identifies relative homology after removing a subspace whose closure lies in the interior of the subspace being quotiented. It makes local homology computable in an arbitrarily small neighborhood.