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