Formalised transition concept