Considere uma dependência funcional X → Y que é valida para ...
Considere uma dependência funcional X → Y que é valida para uma tabela relacional T.
Isso significa que, para qualquer instância de T, e para qualquer par de registros a e b dessa instância,