网上的定义为:
① 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中对③的理解是错误的,它隐含地提到了每个函数依赖的左侧一定要没有冗余属性?)