Eine Paarung P⊆E in einem Graphen G heißt Paarung für eine Teilmenge S⊆V, wenn jeder Knoten aus S von einer Kante aus P abgedeckt wird.
