For more details see descriptive set theory and the book by Kechris, especially Exercise (27.2) on page 209, Definition (22.9) on page 169, and Exercise (3.4)(ii) on page 14.
Další podrobnosti jsou v knize od Kechrise o deskriptivní teorii množin, zvláště ve cvičení (27.2) na straně 209, v definici (22.9) na straně 169 a cvičení (3.4)(ii) na straně 14.