Sea A = {x ∈ Q: x ≥ 0, x < 2}, es decir el conjunto de los racionales no negativos cuyo cuadrado es menor que 2.