Juego propio
# Juego propio

En teoría de juegos cooperativos, un juego propio (en inglés, proper game) es un juego simple en que el complemento de cada una de sus coaliciones ganadoras es una coalición perdedora.

Formalmente, dado un juego simple (N,W), donde N es un conjunto finito de jugadores y W el conjunto de sus coaliciones ganadoras, entonces este juego es propio si se cumple que para toda coalición ganadora X perteneciente a W, su complemento $X^c$ pertenece a L, el conjunto de coaliciones perdedoras.

Esta es una clase de juegos simples muy importante, tal y como describen los investigadores A.D. Taylor y S. Zwicker en un importante libro del área:

Que en español significa: «Algunos autores que ven a los juegos simples como modelos de sistemas de votación sienten poco interés por juegos simples que no son propios».

## Propiedades

* Si un juego es propio o fuerte, entonces es dual comparable.
* Si un juego es propio y fuerte, entonces es decisivo (o auto-dual).
* Un juego es propio si y solo si su dual es fuerte.
