In analysis situs, both points and neighbourhoods are given. We, on the other hand, wish to define our points in terms of "events" where "events" will have a one-one correspondence with certain neighbourhoods. We want our "events" to correspond with neighbourhoods which are above a certain minimum and below a certain maximum when, at a later stage, the empirical metric is introduced. We have to assign to our events such properties as will enable us to define the points of a topological space as classes of events, and the neighbourhoods of the points as classes of points. But we have to remember that we do not want to construct merely a topological space: what we want to construct is the four-dimensional space-time of the general theory of relativity. The following illustration will serve to introduce the problem. Consider a three-dimensional Euclidean numerical space, i.e. the manifold of all ordered triads of real numbers (, , ), with the usual definition of distance. Consider, in this space, all the spheres having a given radius and having centres whose co-ordinates are rational. The number of such spheres is . Let us define a group of these spheres as "co-punctual" if it is such that every four chosen out of the group have a common region; and let us define a co-punctual group as "punctual" if it cannot be enlarged without ceasing to be co-punctual. Then there is a one-one correspondence between the original points of our space and the punctual groups of spheres. Consequently the punctual groups of spheres form a Euclidean space. If the spheres are all distorted in any continuous way,[Pg 299] they will still enable us to construct punctual groups in the same way, and the manifold of punctual groups will still have all the topological properties which are possessed by a three-dimensional Euclidean space. Therefore if we are to use this method of constructing points out of "events," we shall have to assume that, in the resulting space, there is a possible metric according to which the points of which a given event is a member always form a spherical volume. Although this is expressed in metrical language, it is in reality a topological property, since it is unaffected by continuous deformation. It must be possible to express it in non-metrical language, though I must confess that I lack the necessary skill. I propose, therefore, to regard events as occupying regions of space-time which, in some possible metric, are spheres so far as their space-dimensions are concerned, and between a certain maximum and a certain minimum so far as their time-dimension is concerned. The region "occupied" by an event is the class of points of which it is a member.