Theaxiomofchoiceoccursagaininthestudyof(topological)productspaces;forexample,Tychonoff'stheoremoncompactsetsisamorecomplexandsubtleexampleofastatementthatisequivalenttotheaxiomofchoice.
Tychonoff'stheorem