Estos subconjuntos se denominan subvariedades.