被F逻辑蕴涵的函数依赖的全体称为____，记为____。