Definer injektiv.
Klikk for å snu kortet
f:A→Bf:A\to Bf:A→B er injektiv hvis: for alle a1,a2∈Aa_1,a_2\in Aa1,a2∈A, f(a1)=f(a2)⇒a1=a2f(a_1)=f(a_2)\Rightarrow a_1=a_2f(a1)=f(a2)⇒a1=a2. Ekvivalent (kontrapositivt): a1≠a2⇒f(a1)≠f(a2)a_1\neq a_2\Rightarrow f(a_1)\neq f(a_2)a1=a2⇒f(a1)=f(a2). Ulike argumenter gir ulike verdier.
Space / Enter for å snu