Question
Given a homomorphism `phi : A rightarrow B`, we define an equivalence
relation ~ on A by:
`x ~ y Leftrightarrow phi(x) = phi(y)`.
Does this mean that `y - x in ker(phi)`
?