Tychonoff's theorem (source code)

= Tychonoff's theorem
{c}
{wiki}

= Tychonoff theorem
{c}
{synonym}

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