essential for the method of extensive abstraction are,

(i)

implies that

is distinct from

, namely, 'part' here means 'proper part':

(ii) Every event extends over other events and is itself part of other events: the set of events which an event e extends over is called the set of parts of