direct sum n 1: a union of two disjoint sets in which every element is the sum of an element from each of the disjoint sets