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