 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.