Транзитивно
- Author:
- Наталія
Означення 5. Відношення R на множині А називають транзитивним, якщо для будь-яких а,b,с А із того, що (а, b) R (b, с) R випливає (а, с) R .
Відношення називається антитранзитивним, якщо в області визначення відношення не існує таких
предметів, для яких це було б правильно. Антітранзітівно відношення батько, тому що не знайдеться таких трьох пар зазначеного виду, щоб це відношення мало місце у всіх трьох. Ніколи не може бути так, що перша людина - батько другого, другий - батько третього, і при цьому перший - батько третього.