Ungerichteter Graph/Kantenteilmenge/Restgraph/Definition

Zu einem Graphen ${\displaystyle {}G=(V,E)}$ und einer Teilmenge ${\displaystyle {}F\subseteq E}$ der Kantenmenge versteht man unter ${\displaystyle {}G\setminus F}$, genannt Restgraph, denjenigen Graphen, dessen Punktemenge ${\displaystyle {}V}$ ist und dessen Kantenmenge aus ${\displaystyle {}E\setminus F}$ besteht.