DEFINICION

Definición Un grafo G=(V,X) es un par de conjuntos, donde V es un conjunto de puntos o nodos o vértices y X es un subconjunto del conjunto de pares no ordenados de elementos distintos de V. Los elementos de X se llaman aristas, ejes o arcos. Dados v y w Є V, si e = (v,w) Є X se dice que v y w son adyacentes y que e es incidente a v y w. Dados x,y Є V, puede ocurrir que:

Si las aristas tienen asociada una dirección (las aristas (x,y) y (y,x) no son equivalentes) diremos que el grafo es dirigido, en otro caso ((x,y)=(y,x)) diremos que el grafo es no dirigido.