平凡函数依赖

平凡函数依赖

定义： 在Y函数依赖于X函数的基础上，即$X\to Y$时，如果$Y \subset X$，那么称$X\to Y$是平凡的函数依赖，

如果有$Y \subset X$，那么$X\to Y$一定成立

原因：因为$Y \subset X$，那么Y必然是X中的一部分，因为X确定了，那么自然其子集也确定了，整体可以决定部分