Okay, I have merged the entries.
]]>I disfavor “Tychonoff product” as practically no one uses that phrase. I would keep product topological space and merge the other way.
]]>I have given product topological space an semi-informal Idea-section that means to quickly and transparently tell the reader what they need to know.
This is in reaction to what we presently have at Tychonoff product which presently seems needlesly intransparent for the purpose of a reader who just wants to know what the open subsets actually are.
I was thinking about merging product topological space with Tychonoff product. I haven”t yet, but mostly just due to lack of energy.
]]>