 Given an event structure satisfying these axioms, the set of instants and their strict linear ordering can be constructed according to definition 2. The idea is to identify an instant with the maximal set of pairwise overlapping events. Instants are thus conceived of as abstractions over events that happen (or go on) simultaneously. Events linked by the precedence relation will give rise to distinct instants. 