Original: We can also define a total order on by writing, together with the addition and multiplication operations shown above, forms a field, the field of fractions of the integers.
Simplified: We can also define a total order on Q by writing Properties The set of all rational numbers is countable.