Haken, varieta topologica di
Haken, varietà topologica di varietà topologica tridimensionale compatta, irriducibile e che non contiene il piano proiettivo reale, ma sufficientemente larga da contenere propriamente una superficie a due facce incomprimibile, quale una → sfera topologica di dimensione 2. Il concetto fu introdotto da W. Haken nel 1961 ed egli stesso ha successivamente mostrato che, se la varietà topologica ha una tale superficie incomprimibile, esiste una procedura finita per individuarla.