"surjection" Deutsche bedeutung