Definition of "submanifold"

(topology) A manifold which is a subset of another, so that the inclusion function is an embedding or, sometimes, an immersion.