Jeninfer Gomez
Ein Graph G besteht aus einer nicht leeren Menge V von Elementen, die als Knoten bezeichnet werden, und einer Menge E von Objekten, die als Kanten bezeichnet werden, wobei die beiden Mengen kein gemeinsames Element haben. Jeder Kante sind nur zwei Knoten zugeordnet, die als Enden der Kante bezeichnet werden. Das identische Endenpaar kann an zwei oder mehr Kanten gefunden werden. Wenn sowohl F als auch E endlich sind, ist G endlich, andernfalls ist es unendlich. Die Anzahl der Kanten von G, die ein Ende als Ende haben, ist der Grad dGa) eines Knotens a. Wenn der Grad jedes Knotens von G endlich ist, ist G lokal endlich. Daher sind die endlichen Graphen als Sonderfälle in den lokal endlichen Graphen enthalten. Ein Absatz innerhalb eines Absatzes G hat einen Graphen namens H von G. Das heißt, die Knoten und Kanten von H sind die Knoten und Kanten von G, und eine H-Kante hat in H und G die gleichen Enden. Eine Einschränkung von G ist ein Teilgraph, der alle Knoten von G enthält.