Rational number

If both denominators are positive (particularly if both fractions are in canonical form):

A diagram showing a representation of the equivalent classes of pairs of integers

A total order may be defined on the rational numbers, that extends the natural order of the integers. One has