# Locally reducible Riemannian manifold

From Diffgeom

*This article defines a property that makes sense for a Riemannian metric over a differential manifold*

## Definition

A Riemannian manifold is said to be **locally reducible** if its universal cover, with the pullback metric, can be expressed isometrically as the direct product of Riemannian manifolds of smaller dimensions.