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.