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,