soit E un ensemble non vide , et soit f une application de P(E ) vers P(E) , tel que : ACB ==> f(A) C f(B) , montrez que f admet un point fixe different de l'ensemble vide , c'est un cas particulier du théoreme de tarski qui aide a prouver le théoreme de Cantor-bernstein