In mathematics and computer science, an event structure describes sequences of events that can be triggered by combinations of other events, with certain forbidden combinations of events. Different sources provide more or less flexible mathematical formalizations of how events can be triggered and which combinations are forbidden.

Glynn Winskel gave the most general of these formalizations. Winskel formalizes an event structure as a triple , in which: