 Here is a high-level description of Backward Induction. In extensive game forms, the aim is to introduce a new preference-based relation \(\best_i\), denoting that some move is the best a player can do at some given state. Thus, \(\best_i\) is a subset of player i’s total move relation, to be defined in a suitable manner.