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.