In mathematics, the JSJ decomposition, also known as the toral decomposition, is a topological construct given by the following theorem: Irreducible orientable closed 3-manifolds have a unique minimal collection of disjointly embedded incompressible tori such that each component of the 3-manifold obtained by cutting along the tori is either atoroidal or Seifert-fibered. Wikipedia