Etant donné un ensemble E et une famille de fonctions f définies sur E et à valeurs dans E, ces théorèmes permettent de justifier qu’il existe un élément x de E tel que pour toutes les fonctions considérées on ait1 f ( x ) = x {\displaystyle f(x)=x} f(x)=x. - wikipedia