Irreducible 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 irreducible if no finite cover of it can be expressed (in the isometric sense) as a direct product of manifolds of smaller dimensions.