Congruence over a single function instead of all functions