# Definition:Injection

($1)$2 | $3 ($4) | $5 ($6)
Definition: Injective
A function is injective if, for all and , whenever , we have .