5.4.1 关系闭包的概念