如果 X→Y(非平凡函数依赖,并且X不函数依赖于Y).Y→Z,则称Z( )于X.