Exercice 11, § 6

Montrer que si une partie $A$ d’un ensemble $X$ n’appartient pas à un ultrafiltre $\mathfrak{U}$ sur $X$, la trace de $\mathfrak{U}$ sur $A$ est l’ensemble $\mathfrak{P}(A)$.