One-to-one function

1. REDIRECT injective function

{{R from alternative name}}