Boundary-irreducible three-manifold
= Boundary-irreducible three-manifold
A compact <three-manifold> is boundary-irreducible when there is no embedded disk with interior in the manifold and boundary an essential curve in its boundary. Thus its boundary has no compressing disk.