给定关系模式R(U,F),其中U为属性集，F是U上的一组函数（）
A．若Y∈X∈U，则X->Y为所蕴涵
B．若X->Y，Y->Z、则X—>Y为F所蕴涵
C．若X->Y，Z∈Y，则X—>Z为F所蕴涵
D．若X-->Y，X->Z，则X—>YZ为F所蕴涵