Incompressible surface
In mathematics, an incompressible surface, in intuitive terms, is a surface, embedded in a 3-manifold, which has been simplified as much as possible while remaining "nontrivial" inside the 3-manifold.
For a precise definition, suppose that S is a compact surface properly embedded in a 3-manifold M. Suppose that D is a disk, also embedded in M, with