Interim correlated rationalizability in infinite games

In a Bayesian game, assume that the type space is a complete, separable metric space, the action space is a compact metric space, and the payoff functions are continuous. We show that the iterative and fixed-point definitions of interim correlated rationalizability (ICR) coincide, and ICR is non-empty-valued and upper hemicontinuous. This extends the finite-game results of Dekel et al. (2007), who introduced ICR. Our result applies, for instance, to discounted infinite-horizon dynamic games.