下列( )成立时，称X→Y为平凡的函数依赖。