-points which is the complete assemblage of

-points intersecting the cross-sections of

, each event-particle in each cross-section lying on one and only one such

-point and each of these

-points intersecting each cross-section in one event-particle. The assemblage of these