关系的闭包

设R是非空集合A上的二元关系，在关系R中，添加最少的有序对，新关系用R¢表示，使得R¢具有关系的自反(对称、传递)性质，R¢就是R的自反(对称、传递)闭包，记作r(R) ，s(R)和t(R)。：

Kenneth H.Rosen 第6版离散数学的定义：设R是非空集合A上的关系，在关系R中，可能有或无性质P，如自反(r)，对称(s)，传递(t)，若存在包含R，满足性质P的关系S，使得S是所有包含R，满足P的关系的子集，那么称S是R关于P的闭包（有时这样的闭包不存在）