![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/commons/thumb/8/83/Injective_composition2.svg/langpl-640px-Injective_composition2.svg.png&w=640&q=50)
Funkcja różnowartościowa
funkcja o różnych wartościach dla różnych argumentów / Z Wikipedii, wolnej encyclopedia
Funkcja różnowartościowa, iniekcja[1] (injekcja), funkcja 1-1[potrzebny przypis] – funkcja, której każdy element przeciwdziedziny przyjmowany jest co najwyżej raz. Funkcja jest różnowartościowa wtedy i tylko wtedy, gdy dla dowolnych dwóch elementów
spełniony jest warunek[2]:
![Thumb image](http://upload.wikimedia.org/wikipedia/commons/thumb/8/83/F-is-an-injection.svg/320px-F-is-an-injection.svg.png)
![Thumb image](http://upload.wikimedia.org/wikipedia/commons/thumb/8/83/Injective_composition2.svg/220px-Injective_composition2.svg.png)
stosuje się także równoważną postać powyższej implikacji (powstałą przez kontrapozycję):
Innymi słowy[potrzebny przypis]:
- przeciwobraz singletonu ma co najwyżej jeden element;
- istnieje lewostronna funkcja odwrotna:
Termin iniekcja powstał najpóźniej w 1950 roku, kiedy to Saunders Mac Lane użył go w jednym z amerykańskich czasopism matematycznych[3].