I've only seen that used for congruence (x ≡ y <=> f(x) = f(y), for some context-dependent f).