Giả sử> Tại trên là một yêu cầu yếu. Cho một tập hợp các thuộc tính A μ nay, cardinality jAj = k, chúng ta có thể sắp xếp các thuộc tính của A vào một trật tự tuyến tính trong theform của a1 a2 º º ... º ak. Theo Định lý 1, điều này đòi hỏi các tiên đề sau đây
đang được dịch, vui lòng đợi..
