Boundary-incompressible surface
= Boundary-incompressible surface
A properly embedded <topological surface> is boundary-incompressible when no disk in the ambient <three-manifold> joins an essential arc on the <topological surface> to an arc on the ambient boundary, with the disk's interior disjoint from both.