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:

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

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

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