Dado $G$ grafo enumerável, $G$ é infinitamente conexo se é $k$-conexo para todo $k$. Ou seja, $G - V$ é conexo para qualquer $V$ conjunto finito de vértices.