Teorema Hall
Graf bipartit dengan bagian $X$ dan $Y$ memiliki *matching* yang menjenuhkan semua titik di $X$ jika dan hanya jika $|N(S)|\ge|S|\quad\text{untuk setiap } S\subseteq X,$ dengan $N(S)$ himpunan tetangga dari $S$.
Graf bipartit dengan bagian $X$ dan $Y$ memiliki *matching* yang menjenuhkan semua titik di $X$ jika dan hanya jika $|N(S)|\ge|S|\quad\text{untuk setiap } S\subseteq X,$ dengan $N(S)$ himpunan tetangga dari $S$.