习题 3, § 2

令 $X$ 为集合并进行总排序。证明存在相对于 $X$ 的大厅集合，使得 $H \cap M^3(X)$ 由乘积 $z(yx)$ 与 $y < x$、$y \leqslant z$ 组成，$H \cap M^4(X)$ 由乘积 $w(z(yx))$ 与 $w \geqslant z \geqslant y$ 组成， $y < x$ 和乘积 $(ab)(cd)$ 与 $a < b, c < d$ 以及 $a < c$ 或 $a = c$ 和 $b < d$。