Sejam X e Y conjuntos de atributos diferentes de vazio, com ...
e que há um atributo A qualquer pertencente ao conjunto X. Observação:
I.
significa determina; II.
significa não-determina; III.
significa diferença de conjuntos Para que a dependência funcional
seja completa, é necessário que: