"equivalence class" Deutsche bedeutung