在关系模式R（U，F）中，被F所逻辑蕴涵的函数依赖的全体称作F的（），记为（）。 设F和G是两个函数依赖集，如果F⁺包含于G⁺和G⁺包含于F⁺同时成立，即F⁺＝G⁺，则称F和G（）。