ТРАНЗИТИ́ВНОСТЬ

ТРАНЗИТИ́ВНОСТЬ (от лат. transitivus – пе­ре­ход­ный), свой­ст­во би­нар­ных от­но­ше­ний, вы­ра­жаю­щее их «пе­ре­но­си­мость» с од­них пар объ­ек­тов на дру­гие. Точ­нее, от­но­ше­ние R на­зы­ва­ет­ся тран­зи­тив­ным, ес­ли для лю­бых объ­ек­тов x, y, z из xRy и yRz сле­ду­ет xRz. Наи­бо­лее важ­ные клас­сы тран­зи­тив­ных от­но­ше­ний – от­но­ше­ния ти­па ра­венств (эк­ви­ва­лент­но­сти) и от­но­ше­ния по­ряд­ка.