Este resultado generaliza el producto cartesiano de cualquier colección finita de conjuntos numerables y la demostración por inducción del número de conjuntos en la colección.