... For each x, φ(x) is nonempty since there is always at l…

... For each x, φ(x) is nonempty since there is always at least one best response. It is convex, since a mixture of two best-responses for a player is still a best-response for the player. It can be proved that φ has a closed graph.