  The dual reduction process, introduced by Myerson, allows to reduce a finite
game into a smaller dimensional game such that any equilibrium of the reduced
game is an equilibrium of the original game. This holds both for Nash
equilibrium and correlated equilibrium. We present examples of applications of
dual reduction and argue that this is a useful tool to study Nash equilibria
and correlated equilibria. We then investigate its properties.
