习题 2, § 1

令 $\top$ 为合成的律，并非在集合 E 上处处定义。令 $E'$ 为 $\mathscr{P}(E)$ 由……组成的集合 $\{x\}$ 的子集，其中 $x$ 穿过 E 和空E 的子集 $\varnothing$；表明 $E'$ 是 $\mathscr{P}(E)$ 在律 $(X, Y) \mapsto X \top Y$ (习题 1) 下的稳定子集；推出，若$\overline{E}$表示与(集合理论,II, § 4, no. 8)邻接E 元素$\omega$得到的集合，则律$\top$可以扩展到$\overline{E} \times \overline{E}$，使得律 $\top$ 与此扩展的律在 E 上诱导的律相同。