submanifold

In differential topology, the proof requires checking that the submanifold, whose inclusion map is an embedding or sometimes an immersion, has a tubular neighborhood.