Niet-samendrukbaar oppervlak
In de topologie, een deelgebied van de wiskunde, is een  niet-samendrukbaar oppervlak, een oppervlak, dat is ingebed in een 3-variëteit, een oppervlak dat zo veel mogelijk kan worden vereenvoudigd, terwijl het binnen de 3-variëteit toch niet-triviaal blijft. 

Voor de definitie, stel dat  een compact oppervlak is, dat op correcte wijze in een 3-variëteit  is ingebed. Stel verder dat  een schijf is, die ook in  is ingebed, met 
 

Stel ten slotte dat de kromme  in  geen schijf binnen  begrenst. Dan wordt  een samendrukbare schijf voor  genoemd en kunnen wij  ook een samendrukbaar oppervlak in  noemen. Indien een dergelijke schijf niet bestaat en  geen boloppervlak is, dan noemen we  niet-samendrukbaar of meetkundig niet-samendrukbaar.

Een Haken-variëteit is een compacte -onherleidbare 3-variëteit, die een tweezijdig niet-samendrukbaar oppervlak bevat.

Oppervlak
Topologie