Hãy chọn từ/cụm từ tương ứng để hoàn thiện khảng định sau: Bao đóng tập các phụ

A. Bắc cầu.được suy dẫn logic

B. Được suy dẫn bằng định nghĩa.

C. Được suy dẫn bằng cách áp dụng liên tiếp các hệ tiên đề Armstrong.

D. Đầy đủ.được suy dẫn logic