Considere un juego $G$ . Tenemos que demostrar que es $s$ es un Equilibrio Nash de $G$ entonces también es un Equilibrio de Nash del juego formado por la eliminación de las estrategias estrictamente dominadas de $G$ .
He mirado la prueba de esto en https://homepages.cwi.nl/~apt/stra/ch3.pdf (la prueba se describe en las dos primeras páginas) Utilizan una restricción $R$ ( $R_{i}=$ conjunto (posiblemente vacío) de estrategias tales que $R_{i} \subseteq S_{i}$ ) de un juego en cada punto de la prueba.
Mi pregunta es de qué sirve tomar el $R$ del juego en lugar de tomar directamente el conjunto de todas las estrategias posibles para todos los jugadores $S$ ?