это будет множество множеств точек(непересекающихся слагаемых), у которых первая координата равна нулю, а вторая иррациональна.