direct sum Synonyms