Ekvivalentrilato: Malsamoj inter versioj
| [nekontrolita versio] | [nekontrolita versio] |
Enhavo forigita Enhavo aldonita
Aldonis variaĵon de vortoformo Etikedoj: Poŝtelefona redakto Redakto de poŝaparata retejo Altnivela poŝaparata redaktado |
Moldur (diskuto | kontribuoj) |
||
Linio 14:
* "Havas la saman [[bildo (matematiko)|bildo]] sub [[funkcio (matematiko)|funkcio]]" sur la eroj de la [[argumentaro]] de la funkcio, ''a ~ b'' se kaj nur se ''f(a)=f(b)''.
* Estu ''a'', ''b'', ''c'', ''d'' [[entjero]]j, ''b≠0'', ''d≠0'', estu ''(a, b)'' kaj ''(c, d)'' [[orda duopo|ordaj duopoj]] de la nombroj, respektivaj al [[racionala nombro|racionalaj nombroj]] ''a/b'' kaj ''c/d''. Tiam rilato de egaleco de la nombroj ''a/b=c/d'' respektivas al ekvivalentrilato de la ordaj duopoj, ''(a, b) ~ (c, d)'' se kaj nur se ''ad = bc''.
* Estu ''(r<sub>n</sub>)'' kaj ''(s<sub>n</sub>)'' du [[koŝia vico|koŝiaj vicoj]] de racionalaj nombroj. La [[reela nombro|reelaj nombroj]] estas la ekvivalentklasoj de la rilato ''(r<sub>n</sub>) ~ (s<sub>n</sub>)'', se la vico ''(r<sub>n</sub> - s<sub>n</sub>)'' havas limigon 0.
* [[Logika ekvivalento|Logika ekvivalenteco]] de [[frazo (logiko)|logikaj frazoj]].
* "Estas simila al" aŭ "kongrua al" sur la aro de ĉiuj [[triangulo (geometrio)|trianguloj]].
| |||