Injective but not surjective function example. Muelltrennung wirkt 2022. Embedded code. HORTIG DRK-Weste.