In: Advanced Math
Let ∼ be the relation on P(Z) defined by A ∼ B if and only if there is a bijection f : A → B. (a) Prove or disprove: ∼ is reflexive. (b) Prove or disprove: ∼ is irreflexive. (c) Prove or disprove: ∼ is symmetric. (d) Prove or disprove: ∼ is antisymmetric. (e) Prove or disprove: ∼ is transitive. (f) Is ∼ an equivalence relation? A partial order?