Domain of a Transition Function:

Given an event-driven system, the domain defines which events are possible for each state.

Given a state, and an event we can then define a transition function that tells what the next state will be