Projective set

In the mathematical field of descriptive set theory, a subset ${\displaystyle A}$ of a Polish space ${\displaystyle X}$ is projective if it is ${\displaystyle {\boldsymbol {\Sigma }}_{n}^{1}}$ for some positive integer ${\displaystyle n}$. Here ${\displaystyle A}$ is

...
Wikipedia