 For the purposes of defining rational and real numbers as relations between relations, it is necessary to define the ordering relation between individuals related by the relation, that is, in the domain or range (the field) of the relations. This is described in the summary of ∗170 and a theorem as follows: