Topological direct sum