Tychonoff theorem (source code)

= Tychonoff theorem
{c}
{wiki=Tychonoff's_theorem}

An arbitrary product of <compact space>[compact spaces] is compact in the <product topology>. The theorem is equivalent to the axiom of choice.