在离散数学中，R* 表示由给定的二元关系 R 经过扩展和泛化得到的一个二元关系。

扩展后的关系包含 R 中的所有原关系，并且在 R 的基础上增加了一些新的关系。这个新的关系是在原有关系的基础上添加了一些额外的条件，使得原有关系更加丰富和灵活。具体来说，R* 是通过将 R 中的某些特定条件放宽或添加新的条件来得到的。例如，如果 R 表示“小于”关系，那么 R* 可以表示“小于或等于”关系。这样，R* 就包含了 R 中的所有原有关系，并且增加了新的关系，使得原有关系更加完整和灵活。总之，R* 是对二元关系进行扩展和泛化的一种方法，可以使得原有关系更加丰富和灵活。

R＋是传递闭包t(R)，读作R正R* 是自反传递闭包tr(R)，读作R星