Definition:Discrete Event Space