离散数学传递闭包怎么求