如果X→Y非平凡函数依赖，并且X不函数依赖于Y、Y→Z，则称Z（）于X。