En théorie des graphes, un graphe non orienté est un couple formé de un ensemble de sommets et un ensemble d'arêtes, chaque arête étant une paire de sommets. Cette définition ne s'applique qu'aux graphes simples et n'est pas valable pour les multigraphes.