我们把关系R的闭包称作R‘,自反,(对称)(传递)闭包就是能满足该自反(对称或传递)性质的关系R的最小扩充。 r(R):自反闭包 r:reflexive s(R):对称闭包 s:symmetry t(R):传递闭包 t:transfer