topological sum