for S being set
for s being FinSequence of S
for e being set st e in whole_event holds
ex x being Element of S st e in event_pick (x,s)