假设在关系模式R(U)中，X、Y、Z都是U的子集，且Z=U-X-y。若X→→Y，而U-X-Y=φ，则称X→→Y为 。