![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/commons/thumb/6/60/Transitive-closure.svg/languk-640px-Transitive-closure.svg.png&w=640&q=50)
Транзитивне замикання
З Вікіпедії, безкоштовно encyclopedia
Транзитивне замикання бінарного відношення на множині
— це найменше транзитивне відношення на множині
, що включає
.
![Thumb image](http://upload.wikimedia.org/wikipedia/commons/thumb/6/60/Transitive-closure.svg/640px-Transitive-closure.svg.png)
«Найменше транзитивне відношення» визначається за допомогою відношення включення.
Це можливо, позаяк відношення само є множиною (а саме підмножиною декартового квадрата множини ). Тому, якщо R1 ⊂ R2, тоді R1 вважатимемо меншим за R2.