Jennifer Gomez
Un graphe G est constitué d'un ensemble non nul V d'éléments appelés sommets et d'un ensemble E d'objets appelés arêtes, sans élément commun entre les deux ensembles. Seuls deux sommets, appelés extrémités de l'arête, sont associés à chaque arête. La paire d'extrémités identiques peut être trouvée sur deux arêtes ou plus. Si F et E sont tous deux finis, G est fini ; sinon, il est infini. Le nombre d'arêtes de G qui ont un comme extrémité est le degré dGa) d'un sommet a. Si le degré de chaque sommet de G est fini, G est localement fini. En conséquence, les graphes finis sont inclus comme cas particuliers dans les graphes localement finis. Un paragraphe dans un paragraphe G a un graphe appelé H de G. C'est-à-dire que les sommets et les arêtes de H sont les sommets et les arêtes de G, et une arête H a les mêmes extrémités dans H et G. Une limitation de G est un sous-graphe qui contient tous les sommets de G.