que X es un subconjunto de los Reales.