In differential topology, an area of mathematics, a neat submanifold of a manifold with boundary is a kind of "well-behaved" submanifold.
is said to be a neat submanifold of
if it meets the following two conditions:[1] More formally,
must be covered by charts
For instance, in the category of smooth manifolds, this means that the embedding of
This topology-related article is a stub.