Locally reducible Riemannian manifold

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.