Luật phản xạ trong hệ tiên đề Armstrong được mô tả như thế nào?

Nếu Y ⊆ X Thì Y → X

Nếu Y ⊆ X Thì X → Y

Nếu X → Y Thì X.Z → Y.Z

Nếu X → Y Thì Y → X