函数依赖闭包，在关系模式R<U，F>中为F所逻辑蕴含的函数依赖的全体叫作 F的闭包，记为F+，又称函数依赖闭包。