A compression disk for a two-sided embedded surface in a three-manifold is an embedded disk meeting exactly in its boundary, with boundary essential in . Replacing an annular neighborhood of this boundary by two parallel copies of the disk reduces the surface's genus or separates it into simpler pieces.
New to topics? Read the docs here!