给定关系模式R（U，F），其中U为关系R属性集，F是U上的一组函数依赖，若X→Y，（）是错误的，因为该函数依赖不蕴涵在F中。

A．Y→Z成立，则X→Z 
B．X→Z成立，则X→YZ 
C．ZU成立，则X→YZ 
D．WY→Z成立，则XW→Z