La dimensión de la variedad producto es la suma de las dimensiones de sus factores.