Sea N = {1, 2, . . . , n} un conjunto de elementos llamados votantes. Sea C = {S : S $\subseteq$ N} el conjunto potencia de N. Los miembros de C se llaman coaliciones. Sea f una función de C a {0, 1}. Se dice que una coalición S $\subseteq$ N es ganadora si f(S) = 1; se dice que es perdedora si f(S) = 0. Tal función se llama juego de votación si se cumplen las siguientes condiciones: (a) N es una coalición ganadora. (b) El conjunto vacío $\Phi$ es una coalición perdedora. (c) Si S es una coalición ganadora y S $\subseteq$ S' también es ganadora. (d) Si tanto S como S' son ganadoras, entonces S $\cap$ S' $\neq$ $\Phi$ , es decir, S y S' tienen un votante en común. Demuestre que el número máximo de coaliciones ganadoras de un juego de votación es $2^{n-1}$ . También encuentre tal juego de votación.