关于求最小函数依赖集

关于去除左边多余属性，在CSDN上看到都是看能否推出结果，为什么这书上是看左边属性是否包含在结果内？