En la teoría descriptiva de conjuntos , un juego analítico lightface es un juego cuyo conjunto de pagos A es un subconjunto del espacio de Baire ; es decir, hay un árbol T enque es un subconjunto computable de, De manera que A es la proyección del conjunto de todas las ramas de T .
La determinación de todos los juegos analíticos lightface equivale a la existencia de 0 # .