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 Xc 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.
Véase también Juego fuerte Juego decisivo
Referencias
Categoría:Juegos cooperativos