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]:
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].