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 .