自反闭包

定义

${\displaystyle S=R\cup \left\{(x,x):x\in X\right\}}$

参考资料

• Franz Baader and Tobias Nipkow, Term Rewriting and All That, Cambridge University Press, 1998, p. 8