Exercise 11, § 6

Show that if a subset $A$ of a set $X$ does not belong to an ultrafilter $U$ on $X$, then the trace of $U$ on $A$ is the set $\mathfrak{P}(A)$.