给定关系模式S的函数依赖集D， D逻辑蕴涵的所有函数依赖的集合称为D的闭包。