Chọn một khẳng định nào sau đây là đúng nhất khi nói về tập tương đương:

Tập G là tập con của F.

Các phụ thuộc của G là các phụ thuộc của F.

Các phụ thuộc của F được suy dẫn logic từ G và các phụ thuộc của G được suy dẫn logic từ F.

Các phụ thuộc của F cũng là các phụ thuộc của G và ngược lại.