Direct sum topology

Summary