Verzia z 12:39, 2. december 2005 upraviť Luks (diskusia \| príspevky) 487 editací cs		Verzia z 12:57, 2. december 2005 upraviť vrátiť Luks (diskusia \| príspevky) 487 editací dBez shrnutí editace Ďalšia úprava →
Riadok 1: V [[matematika\|matematike]] sa [[binárna relácia]] ''R'' na [[množina\|množine]] ''X'' nazýva '''tranzitívna''', ak pre každé ''a'', ''b'', ''c'' z ''X'' platí, že pokiaľ ''a'' je v relácií s ''b'' a ''b'' je v relácií s ''c'', potom aj ''a'' je v relácií s ''c''. Formálny zápis: Riadok 5: : <math>\forall a, b, c \in X,\ a R b \and b R c \; \Rightarrow a R c</math> Napríklad, ~~"je~~„je väčšie ~~ako"~~ako“ a ~~"je~~„je ~~rovné"~~rovné“ sú tranzitívne relácie, pretože pokiaľ ''a'' = ''b'' a ''b'' = ''c'', potom platí aj ''a'' = ''c''. Tranzitívna relácia, ktorá je zároveň [[reflexívna relácia\|reflexívna]] sa nazýzva [[kváziusporiadanie]]. Kváziusporiadanie, ktoré je [[antisymetrická relácia\|antisymetrické]], sa nazýva [[usporiadanie]]. Kváziusporiadanie, ktoré je [[symetrická relácia\|symetrické]], sa nazýva [[relácia ekvivalencie\|ekvivalencia]].

Tranzitívna relácia: Rozdiel medzi revíziami