exo7 149

1

Soit \(X\) un ensemble et \(f\) une application de \(X\) dans l’ensemble \(\mathcal{P}(X)\) des parties de \(X\). On note \(A\) l’ensemble des \(x \in X\) vérifiant \(x \notin f(x)\). Démontrer qu’il n’existe aucun \(x \in X\) tel que \(A=f(x)\).