= Solution
Let $A\subseteq\operatorname{Fn}(I,J)$ be uncountable. Apply the <Delta-system lemma> to the finite sets $\operatorname{dom}p$ for $p\in A$. After passing to an uncountable subset $A'$, there is a fixed finite root $R$ such that
$$
\operatorname{dom}p\cap\operatorname{dom}q=R
$$
for distinct $p,q\in A'$. Because $J$ is countable and $R$ is finite, there are only countably many functions $R\to J$. A further uncountable subset $A''\subseteq A'$ therefore has the same restriction to $R$.
Any two conditions in $A''$ agree on the intersection of their domains, so their union is a common stronger condition. Thus every uncountable family contains two compatible conditions, and no uncountable antichain exists. Therefore
$$
\boxed{\operatorname{Fn}(I,J)\text{ has the countable chain condition}.}
$$
Back to article page
