Die Paarungsbedingung ist erfüllt, wenn für jede Teilmenge S ⊆ A {\displaystyle {}S\subseteq A} die Beziehung # ( S ) ≤ # ( N ( S ) ) {\displaystyle {}{\#\left(S\right)}\leq {\#\left(N(S)\right)}} gilt.