Dissurĵeto: Malsamoj inter versioj

[kontrolita revizio][kontrolita revizio]
Enhavo forigita Enhavo aldonita
8zu (diskuto | kontribuoj)
→‎Formala difino: Lingva plibonigo
Etikedoj: Poŝtelefona redakto Redakto de poŝaparata retejo
Linio 5:
==Formala difino==
 
Oni povas difini dissurĵetan funkcion ankaŭ rekte, sen uzimencii la nociojn ''disĵeto'' kaj ''surĵeto'':
 
:Estu <math>f</math> [[bildigoFunkcio (matematiko)|funkcio]] ('''"ĵeto'''") de <math>X</math> al <math>Y</math>, t.e. <math>f : X \to Y</math>.
 
:<math>f</math> estas '''dissurĵeto''', se por ĉiu <math>x</math> el <math>X</math> ekzistas unu kaj nur unu <math>y</math> el <math>Y</math> tia, ke <math>f(x) = y</math> kaj por ĉiu <math>y</math> el <math>Y</math> ekzistas tia <math>x</math> el <math>X</math>, ke <math>f(x) = y</math>.
 
==Vidu ankaŭ==