Um grafo $G$ é localmente finito se todos os seus vértices tem grau finito.

Note que um grafo infinito pode ser localmente finito (como é o caso da árvore bipartida, por exemplo).