Ein ungerichteter Graph besteht aus ungerichteten Kanten zwischen jeweils zwei Knoten. Für die Menge der Kanten gilt: