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