Exercice 12, § 1

Soit $\Phi$ un ensemble d'applications d'un ensemble A dans lui-même. Soit $\mathfrak{F}$ la partie de $\mathfrak{P}(A)$ formée des ensembles $X \subset A$ tels que $f(X) \subset X$ pour toute application $f \in \Phi$; montrer que $\mathfrak{F}$ est un ensemble réticulé achevé pour la relation d'inclusion.