submanifold (manifold + sub-; below_under)
A manifold which is a subset of another, so that the inclusion function is an embedding or, sometimes, an immersion