X là một tập con các thuộc tính, ký hiệu X Ω, khi và chỉ khi:

Với mọi thuộc tính của X cũng là thuộc tính của Ω.

Với mọi thuộc tính của Ω.

Với mọi thuộc tính của Ω, cũng là thuộc tính của X.

Tất cả đều sai.