¿Qué significa tener un programa de VARIEDADES?
"Una variedad es el objeto geométrico estándar en matemática que generaliza la noción intuitiva de curva (1-variedad) y de superficie (2-variedad) a cualquier dimensión y sobre cuerpos diversos (NO NECESARIAMENTE EL DE LOS REALES)". (Wikipedia)