A union of two disjoint sets in which every element is the sum of an element from each of the disjoint sets English: direct sum