Seja f: A → B uma função arbitrária. Se a relação r ⊆ A×A é tal que 〈x; y〉 ∈ r se, e somente se, f(x) = f(y), para x, y ∈ A, então r é uma relação de equivalência em A.
