"congruence relation" Deutsche bedeutung