离散数学-关系的闭包