formal sum

noun

An element of a free abelian group or vector space regarded as a sum of basis elements.

Meanings

nounformal sum (plural formal sums)

plural formal sums

  1. An expression which looks like a sum but where the symbol + has a purely symbolic role, in the sense that the summands cannot be meaningfully combined.
    1. algebraAn element of a free abelian group or vector space regarded as a sum of basis elements.
    2. mathematicsA sum of an infinite sequence of numbers considered as an indeterminate object, in the sense of being subject to certain algebraic manipulations but not necessarily convergent.
Cite this entry
APA

formal sum. (n.d.). In WatkinsX Dictionary. Retrieved November 4, 2026, from https://dictionary.watkinsx.com/word/formal%20sum

MLA

“formal sum.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/formal%20sum. Accessed November 4, 2026.

Chicago

WatkinsX Dictionary, s.v. “formal sum,” accessed November 4, 2026, https://dictionary.watkinsx.com/word/formal%20sum.

Source: formal sum on Wiktionary, CC BY-SA 4.0.