A若X→Y，X→Z，则X→YZ B若XY→Z，则X→Z，Y→ZC若X→Y，Y→Z，则X→ZD若X→Y，Y′是Y的子集，则X→Y′