Behavioral equivalence of extensive game structures

Two extensive game structures with imperfect information are said to be behaviorally equivalent if they share the same map (up to relabelings) from profiles of structurally reduced strategies to induced terminal paths. We show that this is the case if and only if one can be transformed into the other through a composition of two elementary transformations, commonly known as “Interchanging of Simultaneous Moves” and “Coalescing Moves/Sequential Agent Splitting.”