تابع یک‌به‌یک

injective function, injection, one-to-one function