Bài tập 4, § 4

Mọi tập hợp có thứ tự tuyến tính $X$ được trang bị một trong hai tôpô $\mathscr{O}_+(X), \mathscr{O}_-(X)$ (Chương I, $§ 2$, Bài tập 5) đều hoàn toàn chuẩn tắc. (Nếu $A$ và $B$ là hai tập con của $X$ sao cho $A \cap \overline{B} = B \cap \overline{A} = \varnothing$, định nghĩa một lân cận $V_x$ của $x$ với mỗi $x \in A$, và một lân cận $W_y$ của $y$ với mỗi $y \in B$, sao cho $V_x \cap W_y = \varnothing$ với mọi $x \in A$ và mọi $y \in B$.)