 where N is a finite set of players, \(W\) a set of outcomes, \(\{\Sigma_i\}_{i\in N}\) a collection of strategies, one for each player \(i\), \(o: \prod_{i\in N} \Sigma_i \to W\) an outcome function, associating a tuple of strategies to an outcome.