传递闭包是什么意思？

设R是X上的二元关系，如果另一个关系R1满足：R1是传递的，R是R1的子集，对于任何可传递关系R11如果有R是R11的子集，就有R1是R11的子集。则称R1是R的传递闭包。我的理解就是对于一个关系的一个最小的传递关系。
一个数学概念，在某些领域有应用，我以前是在离散数学里面学的，后来在计算理论里面又遇到了。