In mathematics, a P<sup>2</sup>-irreducible manifold is a 3-manifold that is irreducible and contains no 2-sided (real projective plane). An orientable manifold is P<sup>2</sup>-irreducible if and only if it is irreducible. Every non-orientable P<sup>2</sup>-irreducible manifold is a Haken manifold.