Topological direct sum

Summary