X，Y是关系R(U,F)中的两个子集，对于一个具体的关系r中的任意两个元组u和v，只要u[X]=v[X]，就有u[Y]=v[Y]，则称X函数决定Y。