In Set an “ $ varepsilon $ - related” description of the co - equaliser comes through the very important notion of equivalence relation. An equivalence relation on a set $ A $ is