An abstraction of a transition