Ero sivun ”Injektio” versioiden välillä
[arvioimaton versio] | [arvioimaton versio] |
Poistettu sisältö Lisätty sisältö
Better definition section |
p →Injektio määritelmä: Paremmin sanottumikä toinen symboolinen muoto on |
||
Rivi 10:
Symbolisesti, ehto voidaan lausua:
: <math>\forall a,b \in X, \;\; a \neq b \Rightarrow f(a) \neq f(b)</math>
Loogisesti, kontraposition kautta
: <math>\forall a,b \in X, \;\; f(a)=f(b) \Rightarrow a=b</math>
|