设关系R(U)，X，Y∈U，X→Y是一个函数依赖，如果存在X’∈X，使X’→Y成立，则称函数依赖X→Y是 函数依赖。