Transityvumas yra dvejetainio ryšio R savybė rinkoje, kuri reiškia: jei elementas A yra susijęs su elementu B, ir elementas B yra susijęs su elementu C, tada elementas A būtinai yra susijęs su elementu C.

Formaliai: visiems A, B, C taikoma: jei (A R B) ir (B R C), tada (A R C).

Pavyzdys: "būti vyresniu už" santykis yra transityvus. Jei Alicė yra vyresnė už Beto, ir Beto yra vyresnė už Cati, tada Alicė yra vyresnė už Cati.

Programavime ir rinkinių teorijoje transityvumas yra svarbus norint suprasti tvarką ir ryšius tarp elementų.

Ankstesnis Kitas