Word
direct sum, n.
freq. cnt. 1
a union of two disjoint sets in which every element is the sum of an element from each of the disjoint sets
<noun.group>
freq. cnt.: 1
freq. cnt.: 1
direct sum
semantic pointers
hypernym
union, sum, join