Es cualquier subconjunto de una variedad diferenciable que mediante la topología inducida de la variedad original sigue teniendo estructura de variedad diferenciable.