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