Incompressible surface
= Incompressible surface
{wiki}
An incompressible surface is a properly embedded two-sided <topological surface> with no compressing disk, subject to the usual exclusion of inessential spherical components. A compressing disk has boundary an essential closed curve on the <topological surface> and interior disjoint from it.