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