Si no se pueden hacer elecciones explícitas, ¿cómo saber que existe el conjunto deseado? Por ejemplo, supóngase que "X" es el conjunto de todos los subconjuntos no vacíos de los reales.