Syarat Pencocokan. Jika graf bipartit \(G = \{A, B\}\) memiliki pencocokan dari \(A\text{,}\) maka \begin{equation*} |N(S)| \ge |S| \end{equation*} untuk semua \(S \subseteq A\text{.}\)