In high school, in definition of rational number we used to say,
"A number, which can be written in the form $\frac{p}{q}$, where $p,q(\neq0)\in\Bbb{Z}$ is called rational number."
But now I am realising that this is not a definition but it is a characterisation of rational numbers. Because the above definition starts with "a number", which means we have already defined real numbers before giving this definition.
So how to really define rational numbers? One way we have constructed $\Bbb{Q}$ as quotient field of $\Bbb{Z}$. But this is a long construction. So please give little clarification that what should be an answer if one asks "define rational number."
Best Answer
You have to decide where to start, in other words you have to decide what your starting axioms are.
Starting with the real numbers is perfectly acceptable, they have pretty straightforward axioms (in summary: the real numbers are a complete ordered field). And then you can really define rational numbers inside the real numbers: before that you have to first define the integers $\mathbb Z$ inside the real numbers, and once you've done that then the definition of $\mathbb Q$ that you wrote makes perfect sense.
Or you can start with Peano's axioms for the natural numbers, from there build up the integers, and from there build up the rational numbers.
If you really follow each of these through step by step then yes, they are long constructions. If you want a really long construction, start instead from axioms of set theory, next build up the natural numbers, and then continue as before.