Given: Let f: X ->