关于数据库概论的极小函数依赖集定义的不解

网上的定义为：
① F中的任何一个函数依赖的右部仅含有一个属性；
② F中不存在这样一个函数依赖X→A，使得F与F-{X→A}等价；
③ F中不存在这样一个函数依赖X→A，X有真子集Z使得F-{X→A}∪{Z→A}与F等价。

不解的地方在于
1.从③的字面意思看，觉得③就是②的一个特例，都是去除冗余的函数依赖的？
2.看到函数依赖集F的极小化算法中，有去除每个函数依赖的左侧冗余属性的步骤（即有这样的函数依赖XY->Z，但其实Y->Z，
  于是就用Y->Z代替XY->Z）。这个步骤是不是针对上述定义的第③项的？
（也就是说，是不是本人在1中对③的理解是错误的，它隐含地提到了每个函数依赖的左侧一定要没有冗余属性？）

http://blog.csdn.net/smstong/article/details/5599490