参考答案：

被逻辑蕴涵的函数依赖的全体构成的集合，称为F的闭包（closurE.，记为F+。