Bài tập 11, § 2

Cho I là một tập được sắp thứ tự tốt và $(\mathbf{E}_\iota)_{\iota \in \mathbf{I}}$ là một họ các tập hợp có thứ tự, mỗi tập hợp chứa ít nhất hai phần tử phân biệt so sánh được. Khi đó tích từ điển của các $\mathbf{E}_\iota$ được sắp thứ tự tốt khi và chỉ khi mỗi $\mathbf{E}_\iota$ đều được sắp thứ tự tốt và I là hữu hạn (nếu I là vô hạn, hãy xây dựng một dãy vô hạn giảm nghiêm ngặt trong tích từ điển của các $\mathbf{E}_\iota$). \*