zobrazení mezi množinami, kdy žádné dva prvky nemají stejný obraz From Wikipedia, the free encyclopedia
Injekce (injektivní zobrazení, prosté zobrazení) je typ zobrazení mezi množinami, které různým vzorům přiřazuje různé obrazy. Nestane se tedy, že by jeden obraz měl několik různých vzorů a jeden vzor více obrazů. K prostému zobrazení existuje inverzní zobrazení. Na rozdíl od Surjekce, prosté zobrazení nemusí být definováno pro všechny obrazy a vzory, tedy mohou existovat prvky cílové množiny, které nemají svůj vzor. V anglické literatuře je prosté zobrazení často označováno one to one (jedna k jedné).
Zobrazení nazýváme prosté (injektivní), jestliže platí implikace:
,
někdy se uvádí ekvivalentní definice s implikací v kontrapozici: