Nói rằng A --> B được suy dẫn từ F, nếu ________.

Hai bộ bất kỳ trùng nhau trên A thì khác nhau trên B

Hai bộ bất kỳ thoả trên trên A thì thoả trên B

Hai bộ bất kỳ khác nhau trên A thì cũng khác nhau trên B

Áp dụng liên tiếp các hệ tiên đề Armstrong