Page "Equivalence class" Paragraph 23

Any function itself defines an equivalence relation on according to which if and only if.

The equivalence class of is the set of all elements in which get mapped to, i. e. the class is the inverse image of.

This equivalence relation is known as the kernel of.