Jenifer Gomes
Um grafo G é composto por um conjunto não nulo V de itens denominados vértices e um conjunto E de objetos denominados arestas, não existindo qualquer elemento comum entre os dois conjuntos. Apenas dois vértices, denominados extremidades da aresta, estão associados a cada aresta. O par idêntico de extremidades pode ser encontrado em duas ou mais arestas. Se F e E são finitos, G é finito; caso contrário, é infinito. O número de arestas de G que têm an como fim é o grau dGa) de um vértice a. Se o grau de cada vértice de G for finito, G é localmente finito. Como resultado, os grafos finitos são incluídos como casos especiais nos grafos localmente finitos. Um parágrafo dentro de um parágrafo G tem um grafo chamado H de G. Ou seja, os vértices e arestas de H são vértices e arestas de G, e uma aresta H tem o mesmo termina em H e G. Uma limitação de G é um subgrafo que contém todos os vértices de G.