Irreducible three-manifold
= Irreducible three-manifold
= Three-manifold irreducibility
{synonym}
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>.