For any relation R, the transitive closure of R always exists.
对于任何关系 R，R 的传递闭包总是存在的。