平凡函數依賴

平凡函數依賴

定義： 在Y函數依賴於X函數的基礎上，即$X\to Y$時，如果$Y \subset X$，那麼稱$X\to Y$是平凡的函數依賴，

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

原因：因爲$Y \subset X$，那麼Y必然是X中的一部分，因爲X確定了，那麼自然其子集也確定了，整體可以決定部分