Hemos demostrado el teorema del matrimonio de Hall para el sistema finito de conjuntos finitos; ahora me gustaría demostrar que es válido incluso para el sistema infinito de conjuntos finitos.
Llevo tiempo intentando demostrarlo por mí mismo, pero no lo he conseguido. ¿Alguien puede proporcionar un esquema de la prueba?
¡Muchas gracias!
