"equivalence relation" Deutsche bedeutung