Between any two event-particles on a rect there is one and only one rectilinear route. If
and
be two event-particles on a rect, the rectilinear route between them can also be defined as the element deduced from the prime with the formative condition of being a simple abstractive class which covers
and
and all the event-particles between