离散数学关系的闭包运算