Formalmente, es un grafo con una función v: A → R.