# What was the name of that generalization of “Hall's marriage theorem”?

can sombody help me in graph theory?

I just need to know the name of the generalization of Hall's marriage theorem...

the one that states that if I have a bipartite graph between set $A$ with $n$ elements and set $B$ with $n$ elements too, I can make a "sub-graph" (a graph made only by existing connections) where every node $x$ has $f(x)$ connections iff for every set $X \subseteq A$ and $Y \subseteq B$:

• $$\sum_{a \in A}f(a)=\sum_{b \in B}f(b)$$

• $$\sum_{x \in X}f(x) \leq \sum_{b \in B \setminus Y}f(b)+m(X,Y)$$

Where $m(X,Y)$ is the nuber of connections between $X$ and $Y$ in the existing graph.

-