Irreducible manifold