Mapping/Take preimage/Exercise

Let denote a mapping. Show that taking preimages

fulfills the following properties (for arbitrary subsets ):