Es una variedad diferencial a la que además hay que dotar de una métrica.