사영 집합: 두 판 사이의 차이

=== 포함 관계 ===

[[보렐 집합|보렐 위계]]와 유사하게, 다음과 같은 포함 관계가 성립하며, 이를 '''사영 위계'''({{llang|en|projective hierarchy}})라고 한다.<ref name="Kechris"/>{{rp|314, §37.A}}

&\nearrow&&\searrow&&\nearrow&&\searrow&&&&&\nearrow&&\searrow&&\nearrow&&\searrow\\

\boldsymbol\Delta^0_1&&&&\boldsymbol\Delta^0_2&&&&\boldsymbol\Delta^0_3&\cdots&\to&\boldsymbol\Delta^1_1&&&&\boldsymbol\Delta^1_2&&&&\boldsymbol\Delta^1_3&\cdots\\