topologicalspaces

[ریاضیات] حاصلضرب پایان دار فضاهای توپولوژیک