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

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

:<math>\begin{matrix}&&\boldsymbol\Sigma^0_1&&&&&\boldsymbol\Sigma^0_2&&\cdots&&&&\boldsymbol\Sigma^1_1&&&&\boldsymbol\Sigma^1_2&&&\cdots\\

&\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\\

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

&&\boldsymbol\Pi^0_1&&&&\boldsymbol\Pi^0_2&&&\cdots&&&&\boldsymbol\Pi^1_1&&&&\boldsymbol\Pi^1_2&&&\cdots