Отношение называется транзитивным, если оно выполняется для пары (А, С) при условии, что выполняется для пар (А, В) и (В, С). Нетранзитивными называют отношения, не удовлетворяющие этому свойству. Например: волк ест козу, коза ест капусту, но волк не ест капусту. – Прим. пер.
