Lingkaran Bola-2 (permukaan bola) dari konkret ke suatu titik
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.