Definition:Rational Number

Informal Definition
A number in the form $$\frac p q$$, where both $$p$$ and $$q$$ are integers ($$q$$ non-zero), is called a rational number.

The set of all rational numbers is usually denoted $$\mathbb{Q}$$.

Thus, $$\mathbb{Q} = \left\{{p/q: p \in \mathbb{Z}, q \in \mathbb{Z}^*}\right\}$$.

Formal Definition
The field $$\left({\mathbb{Q}, +, \times}\right)$$ of rational numbers is the quotient field of the integral domain $$\left({\mathbb{Z}, +, \times}\right)$$ of integers.

In view of Quotient Field is Unique, we simply pick a quotient field of $$\mathbb{Z}$$, give it a label $$\mathbb{Q}$$ and call its elements "rational numbers".

We note that $$\left({\mathbb{Z}, +, \times; \le}\right)$$ has a total ordering $$\le$$ on it.

From [Total Ordering on Quotient Field is Unique]], it follows that $$\left({\mathbb{Q}, +, \times}\right)$$ has a unique total ordering on it that is compatible with $$\le$$ on $$\mathbb{Z}$$.

Thus $$\left({\mathbb{Q}, +, \times; \le}\right)$$ is a totally ordered field.

Comment
The name "rational" has two significances:
 * 1) The construct $$\frac p q$$ can be defined as the "ratio" between $$p$$ and $$q$$;
 * 2) In contrast to the concept irrational number, which can not be so defined. The ancient Greeks had such a term for an irrational number: "alogon", which meant "chaotic", "unstructured" etc., with a negative connotation. The proof that there exist such numbers was a shock to their collective national psyche.