For arbitrary large (finite) strategic games, if all players are rational and there is common belief that all players are rational, then they will choose a strategy that is iteratively non-dominated. The result is credited to Bernheim (1984) and Pearce (1984). See Spohn (1982) for an early version, and Brandenburger &amp; Dekel (1987) for the relation with correlated equilibrium.