闭包定义 定义设R是非空集合A上的关系,R的自反(对 称或传递)闭包是A上的关系R使得R满足以 下条件: (1)R是自反的(对称的或传递的) (2) RCR (3)对A上任何包含R的自反(对称或传递) 关系R有R'cR 一般将R的自反闭包记作r(R,对称闭包记作 s(R),传递闭包记作(R)17 闭包定义 定义 设R是非空集合A上的关系, R的自反（对 称或传递）闭包是A上的关系R , 使得R满足以 下条件： （1）R是自反的（对称的或传递的） （2）RR （3）对A上任何包含R的自反（对称或传递） 关系 R 有 RR. 一般将 R 的自反闭包记作 r(R), 对称闭包记作 s(R), 传递闭包记作 t(R)