disjoint union Synonyms

direct sum coproduct discriminated union free sum free union topological sum