传递闭包性质