Транзитивтілік

Транзитивтілік (лат. transіtіvus – өтпелі) —  жиынының кез келген үш  элементтері үшін  және  қатынастарынан  қатынасы шығатын қасиеті бар  бинарлық қатынастар.

Сонымен, егер  онда  транзитивті.
 Мысалдар
Егер а>b және b>c қатынастарынан a>c қатынасы шығатын болса, онда a>b қатынасы транзитивті деп аталады. Мысалы, a=b және b=c теңдіктерінен a=c теңдігі шығатындықтан a=b теңдігі транзитивті болады. a>b және b>c теңсіздіктерінен a>c теңсіздігі шықпайтындықтан a<b қатынасы транзитивті болмайды. Геометрияда параллель түзулер арасындағы қатынас та транзитивті болады (егер a параллель b, b параллель c болса, онда a параллель c болады). Түзулердің перпендикулярлығының қатынасы транзитивті емес.«Қазақстан»: Ұлттық энцклопедия / Бас редактор Ә. Нысанбаев – Алматы «Қазақ энциклопедиясы» Бас редакциясы, 1998 ISBN 5-89800-123-9, VIII том

 Сілтеме 

Санат:Математикалық қатынастар
Санат:Жиындар теориясы
Санат:Математикалық логика