f(A) := \{ f(x) : x \in A\}