Tychonoff's Theorem

Also See
Tychonoff's Theorem Without Choice, a version that holds under more restrictive conditions but does not require the Axiom of Choice.