nLab
Riemannian manifold

Definition

A Riemannian manifold is a manifold equipped with a Riemannian metric.

Remarks