Note 68 — *97. ANALYSIS OF THE FIELD OF A RELATION INTO FAMILIES.
Reading edition
Here the type "" is the type of converses of relations of type , i.e. the type of the negative integers in order of magnitude, ending with , being the type of the positive integers in order of magnitude, and therefore being the type of negative and positive integers in order of magnitude.