tranzitivita

Tranzitivita je termín používaný v matematice a logice. Označuje vlastnost binární relace, kdy pokud platí relace mezi prvním a druhým prvkem a také mezi druhým a třetím prvkem, pak platí i mezi prvním a třetím prvkem. Příkladem tranzitivní relace je rovnost (=) nebo uspořádání čísel podle velikosti (≤ nebo ≥). Pokud platí, že A = B a B = C, pak platí i A = C. Stejně tak, pokud A ≤ B a B ≤ C, pak A ≤ C. Naopak, netrativní relace je například "je přítelem". Pokud je A přítelem B a B je přítelem C, nemusí to nutně znamenat, že A je přítelem C. V běžné mluvě se tranzitivita příliš nepoužívá, ale je důležitým pojmem v matematice, logice a informatice.