计算对称闭包方法：s（R）等于R并集RC。定理：给定A中关系R，则s（R）等于R并集RC。证明：令等于R并集RC，显然R是对称的和R包含于R。下面证明R是“最小的”：假设有C上的另一个对称关系R且R包含于R”，又因为RC包含于R，所以R并集RC包含于R”，即R包含于R。综上，R就是R的对称闭包，即s（R）等于R并集RC。对称闭包是X上包含R的最小的对称关系，定义对于关系R，添加最少的二元组（pair），使新的关系R是对称的（symmetric）。