Cowen-Engeler Lemma

Theorem
Let $X$ and $Y$ be sets.

Let $M$ be a set of mappings from subsets of $X$ to $Y$.

Thus each element of $M$ is a partial mapping from $X$ to $Y$.

Define a mapping $\Phi: X \to \mathcal P \left({Y}\right)$ thus:


 * $\Phi \left({x}\right) = \left\{{f \left({x}\right): f \in M \text{ and } x \in \operatorname{Dom} \left({f}\right) }\right\}$

That is, $\Phi \left({x}\right) = \left\{{y \in Y: \exists f \in M: \left({x, y}\right) \in f}\right\}$

Suppose that the following hold:

Then there exists an element of $M$ with domain $X$.

Proof
Let $\operatorname{Fin} \left({X}\right)$ be the set of finite subsets of $X$.

For each $S \in \operatorname{Fin} \left({X}\right)$, let $\Gamma_S = \left\{{f \in M: S \subseteq \operatorname{Dom} \left({f}\right)}\right\}$.

By $(2)$, $\Gamma_S$ is non-empty for each $S \in \operatorname{Fin} \left({X}\right)$.

For each $S \in \operatorname{Fin} \left({X}\right)$, $\Gamma_S \cap \Gamma_T = \Gamma_{S \cup T}$:

If $f \in \Gamma_{S \cup T}$, then $S \cup T \subseteq \operatorname{Dom} \left({f}\right)$.

Then $S \subseteq \operatorname{Dom} \left({f}\right)$ and $T \subseteq \operatorname{Dom} \left({f}\right)$, so $f \in \Gamma_S$ and $f \in \Gamma_T$.

Thus $f \in \Gamma_S \cap \Gamma_T$.

If $f \in \Gamma_S \cap \Gamma_T$, then $f \in \Gamma_S$ and $f \in \Gamma_T$.

Thus $S \subseteq \operatorname{Dom} \left({f}\right)$ and $T \subseteq \operatorname{Dom} \left({f}\right)$.

Thus $S \cup T \subseteq \operatorname{Dom} \left({f}\right)$.

So $f \in \Gamma_{S \cup T}$.

Thus $\{ \Gamma_S: S \in \operatorname{Fin} \left({X}\right) \}$ has the finite intersection property.

Then by the corollary to the Ultrafilter Lemma, there is an ultrafilter $\mathcal U$ on on $M$ which includes $\{ \Gamma_S: S \in \operatorname{Fin} \left({X}\right) \}$ as a subset.

We will now construct a mapping $\phi: X \to Y$.

Fix $x \in X$.

Note that by the definitions of $\Phi$ and $\Gamma$, $\Phi \left({x}\right) = \{ f \left({x}\right) \mid f \in \Gamma_{\{x\}} \}$.

For each $y \in \Phi \left({x}\right)$, let $K_y = \{ f \in \Gamma_{\{x\}} \mid f \left({x}\right) = y \}$.

Then $\{ K_y | y \in \Phi \left({x}\right) \}$ is a partition of $\Gamma_{\{x\}}$.

Since $\{x\} \in \operatorname{Fin} \left({X}\right)$, $\Gamma_{\{x\}} \in \mathcal U$.

By $(1)$, $\Phi \left({x}\right)$ is finite.

Thus by Component of Finite Union in Ultrafilter, there is exactly one $y \in \Phi \left({x}\right)$ such that $K_y \in \mathcal U$.

We define $\phi \left({x}\right)$ to be that $y$.

By the definition of $K_y$, for each $x \in X$ we have:


 * $\{ f \in \Gamma_{\{x\}} \mid f \left({x}\right) = \phi \left({x}\right) \} \in \mathcal U$

We must show that $\phi \in \mathcal M$.

Let $S$ be a finite subset of $X$.

Let $\displaystyle \Psi = \bigcap_{x \in S} \{ f \in \Gamma_{\{x\}} \mid f \left({x}\right) = \phi \left({x}\right) \}$.

Since $\{ f \in \Gamma_{\{x\}} \mid f \left({x}\right) = \phi \left({x}\right) \} \in \mathcal U$ for each $x \in X$, $S$ is finite, and $\mathcal U$ is a filter, $\Psi \in \mathcal U$.

Thus $\Psi \ne \varnothing$.

Choose any $f \in \Psi$.

Then $f \left({x}\right) \in \Gamma_{\{x\}}$ for each $x \in S$, so $f \in M$ and $S$ is a finite subset of the domain of $f$.

Since $M$ has finite character, $f \restriction S \in M$.

Furthermore, $f \left({x}\right) = \phi \left({x}\right)$ for each $x \in S$ by the definition of $\Psi$.

Thus $\phi \restriction S = f \restriction S \in \phi$.

So we see that $\phi \restriction S \in M$ for each finite subset $S$ of $X$.

Since $M$ has finite character, $\phi \in M$.