Por lo tanto x es un número racional mayor que cero, y x"<"r".