exo7 3047

Soit $E$ un ensemble et ${\cal E} = \{ (A,f)$ tq $A \subset E,\ A\ne\varnothing,$ et $f\in E^A \}$. On ordonne $\cal E$ par : $$(A,f) \preceq (B,g) \iff \begin{cases}A \subset B \cr \forall\ x \in A,\ f(x) = g(x)\end{cases}$$

(c’est-à-dire que la fonction $g$, définie sur $B$, prolonge la fonction $f$, définie seulement sur $A$).