Транзитивне замикання утворюється шляхом вилучення всіх пар початкового відношення

Транзитивне замикання є найменшим за включенням транзитивним відношенням, яке містить початкове відношення

Транзитивне замикання містить усі впорядковані пари початкового відношення

Транзитивне замикання будь-якого відношення обов'язково є симетричним

Побудова транзитивного замикання завжди потребує додавання хоча б однієї нової впорядкованої пари