Camino mas corto, dado un camino entre \(v_0\) y \(v_k\) compuesto por un conjunto de vertices \(v_0,v_1,\ldots,v_k\) cualquier subcamino en esta camino en esta secuencia es el mas corto, un camino mas corto entre un par de vertices esta compuesto por caminos mas cortos entre los vertices que pertenecen a esto camino.
Lo caminos cumple con ser relaciones de equivalencia
Camino de u hasta u vale 0. Reflexivo
El camino de u hasta v es el mismo de v hasta u. Simetrica
Transitica, el camino u hasta v, y de v hasta w es el mismo que de u hasta w. Transtivo.