# Is this a mistake in the proof of Hall's Marriage Theorem from https://proofwiki.org?

I read the proof from https://proofwiki.org/wiki/Hall%27s_Marriage_Theorem/General_Set.

Here are screenshots from that link:

I suspect that the statement

Then for any $k\in I$, $\left\{ {g \left({x}\right): g \in \mathcal F \land k \in \operatorname{Dom} \left({g}\right)}\right\}$ is finite

is possibly not correct.

My reasoning: If $I$ is infinite, then for any $k$, it is possible that the number of function $g$ such that $g \in \mathcal F$ and $k \in \operatorname{Dom} \left({g}\right)$ is infinite by adding a new element from $I$ to the domain of existing function $g$.

Please check if my spot is correct! Thank you so much!

• I tend to agree with you. Commented Jun 9, 2018 at 15:43
• This is not a set of functions $g$; this is a set of values $g(x)$ which we get by evaluating a set of functions $g$ at some value $x$. Now, the proof doesn't tell us what $x$ is, so it doesn't make any sense, but it's possible that if $x$ were defined, the statement would be true. Commented Jun 10, 2018 at 18:27
• Yes, that part is too ambiguous. Commented Jun 11, 2018 at 0:06
• If you're claiming the statement is incorrect, you should provide a counterexample. Commented Aug 17, 2018 at 19:05