Si existe una única aplicación formula_176 tal que formula_182, entonces formula_176 se denomina representación explícita global de la variedad.