If x ∈ H ℵ 1 {\displaystyle x\in H_{\aleph _{1}}} , then L ω 1 ( x ) ⊂ H ℵ 1 {\displaystyle L_{\omega _{1}}(x)\subset H_{\aleph _{1}}} .
如果 x ∈ H ℵ 1 {\displaystyle x\in H_{\aleph _{1}}} ，则 L ω 1 ( x ) ⊂ H ℵ 1 {\displaystyle L_{\omega _{1}}(x)\subset H_{\aleph _{1}}} 。