Originalmente conjeturado por Henri Poincaré, el teorema se refiere a un espacio que localmente se parece a un espacio ordinario tridimensional, pero está conectado, finito en tamaño y carece de cualquier límite (un 3 múltiples cerrados).