Product topology (source code)

= Product topology
{wiki}