In: Advanced Math
Let f: A → B be a function, and let {Bi: i ∈ I} be a partition of B. Prove that {f−1(Bi): i ∈ I} is a partition of A. If ~I is the equivalence relation corresponding to the partition of B, describe the equivalence relation corresponding to the partition of A. [REMARK: For any C ⊆ B, f−1C) = {x ∈ A: f(x) ∈ C}.]