Graphe
Un graphe G = (V, E) est un couple ordonné, dans lequel V est un ensemble arbitraire et E est un ensemble multiple composé d'ensembles multiples de deux éléments de V, qui peuvent être différents ou non.
Explication
Les éléments de V sont appelés les sommets du graphe G, et les éléments de E sont appelés les arêtes de G. Les sommets qui forment une arête sont appelés les extrémités de l'arête.