Hãy chọn từ/cụm từ tương ứng để hoàn thiện khảng định sau: 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