请问，对于 Hall 定理的推论，需不需要满足 $|X|\le|Y|$？

Hall 定理推论：二分图左部点集 $X$，右部点集 $Y$ ，最大匹配数为 $|X|-\max_{S\in X}(|S|-|N(S)|)$。