Konjektur Poincaré
caption: Suatu permukaan dimensi dua kompak tanpa adanya batas dikatakan secara topologi homeomorfik dengan bola dimensi dua, jika setiap loop dapat diperketat terus-menerus menjadi suatu titik. Konjektur Poincaré mengatakan bahwa hal yang sama juga benar untuk ruang dimensi tiga.