Транзитивне відношення
З Вікіпедії, безкоштовно encyclopedia
В математиці, бінарне відношення R на множині X є транзитивним, якщо для будь-яких a, b, та c з X, виконується: коли a відноситься до b і b відноситься до c, то a відноситься до c.
Формально: