X --> Y (Y Thuộc F) là phụ thuộc hàm đầy đủ, khi và chỉ khi ________.

Mọi con thực sự của X xác định Y

Tập con thực sự của X xác định Y

Tồn tại tập con của X xác định Y

X không chứa thuộc tính dư thừa