设F是属性组U上的一组函数依赖，下列叙述正确的是

A．若Y

X，则X→Y为F所逻辑蕴含

B．若X

U，则X→Y为F所逻辑蕴含

C．若X→Y为F所逻辑蕴含，且Z

U，则X→YZ为F所逻辑蕴含

D．若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含

下列与基因工程无关的是（）

A.培养利用“工程菌”生产胰岛素

B.基因治疗

C.蛋白质工程

D.克隆羊