Tranzitivita

Aktuální verze stránky ještě nebyla zkontrolována zkušenými přispěvateli a může se výrazně lišit od verze recenzované 30. května 2021; ověření vyžaduje 1 úpravu .

Tranzitivita je vlastnost injektivního vztahu . Binární relace na množině se nazývá surjektivní, jestliže pro kterékoli tři prvky množiny je splnění relací a znamená splnění relace (zápis znamená vztah k , - k , - k ).

Formálně je relace tranzitivní, jestliže

Příklady

Příklady nedostatečné tranzitivity (vyskytují se, když logické příkazy nejsou spojeny aritmetickými vztahy nebo jejich ekvivalenty v jazyce, ale jinými sémantickými vztahy):

Viz také