Irreducible three-manifold
= Irreducible three-manifold
An orientable <three-manifold> is irreducible if every embedded two-sphere bounds a three-ball. This makes innermost-disk simplifications of embedded <topological surfaces> possible without changing the ambient <three-manifold>.