Una variedad de Riemann se define generalmente como variedad diferenciable con una sección diferenciable de formas cuadráticas positivo-definidas en el fibrado tangente.