... so each player's strategy space is the standard simplex…

Twetch ·

... so each player's strategy space is the standard simplex in R^k. Then, S is the cartesian product of all these simplices. It is indeed a nonempty, compact and convex subset of R^kn.