Non-Borel set/Advanced

The set under consideration is analytic, and complete in the class of analytic sets; therefore it is not Borel.