In bipartiten Graphen  mit Bipartition  existiad genau dann eine Paarung  der Kardinalität  (de jeden Knupf aus  überdeckt), falls für jede Teilmenge  von  gilt, dass ihre Nachbarschaft mindestens so groß ist wie  selbst: