This one-to-one correspondence of “likeness” is only supposed to be definite in the limit when the relations are very close together in the structure. Thus we avoid any kind of comparison at a distance which is as objectionable as action at a distance. Let me confess at once that I do not know what I mean here by “very close together”. As yet space and time have not been built. Perhaps we might say that only a few of the relata possess relations whose comparability to the first is definite, and take the definiteness of the comparability as the criterion of contiguity. I hardly know. The building at this point shows some cracks, but I think it should not be beyond the resources of the mathematical logician to cement them up. We should also arrange at this stage that the monomarks are so assigned as to give an indication of contiguity.

Fig. 7

Let us start with a relatum

and a relation

radiating from it. Now step to a contiguous relatum

and pick out the “like” relation