Fig. 4.

In this definition a property of the boundary of an event first makes its appearance. The assumption that examples of the relation of injunction hold is a long step towards a theory of such boundaries, as the annexed diagram illustrates. It is important to note that injunction has been defined purely in terms of extension.

If

and

is separated from

and adjoins