TeX source:
f[A]= \{ f(a) \mid a\in A\}