Question
Given a map `phi` from A to B such that `phi: A rightarrow B`.
If it is a "trivial partition" , meaning `phi` induces the
trivial equivalence relation on A where every element is
equivalent to itself so `A"/"ker(phi) cong A cong phi[A] = B`.
Is this map `phi` an isomorphism or a homomorphism
?