加法

加法（addition，通常用加號「+」表示）是基本的算術運算之一，與減法、乘法、除法合稱「四則運算」。兩個自然數相加是將他們組合起來的總量。例如，在右圖中，三個蘋果和兩個蘋果被組合在一起，共有五個蘋果，用數學表達式表示成${\displaystyle 3+2=5}$，即「3加2等於5」。

「加」重新導向至此。關於其他用法，請見「加 (消歧義)」。

以蘋果說明的${\displaystyle 3+2=5}$，常見於教科書中

除了自然數，其他類型的數也可以定義加法，例如整數、實數、複數等，這些類型的加法是算術的一部分。在代數中，許多抽象的概念也可以相加，例如向量、矩陣等。

將多個一相加的動作被稱為計數；一個數加零仍等於自身。當與相關的運算（像是減法、乘法等）同時出現時，加法也遵循一些法則。

加法是最簡單的數學任務之一。蹣跚學步的小孩就能將較小的數正確相加；最基本的${\displaystyle 1+1=2}$連五個月大的嬰兒都會，甚至其他種類的動物也會算。在初等教育中，學生使用十進制或二進制進行加法運算，從個位數的加法開始，逐漸變難。輔助加法的機械從古代的算盤，到現今的電子計算機，種類繁多。至今，人們還在研究在電子計算機上實現加法的高效算法。

定義

為證明加法的常見性質，首先必須給出加法的準確定義。

加法首先在自然數範圍內定義。接着，在集合論中，加法被拓展至更加廣闊的集合：整數，有理數，實數……

集合的「合併」

以不同圖形展示的集合合併

加法最基礎的詮釋，或源於對集合的樸素合併：^[1]

當兩個及以上互不相交的集合（即不交集）合併為單一集合時，該單一集合中的對象數量等於原集合中對象數量的總和。

該詮釋易於直觀呈現，且幾乎不存在歧義。在高等數學中，它還為更嚴格的定義奠定基礎。然而，如何將該詮釋延伸至包含分數或負數的情形則並不顯見^[2]。一種可行思路是考慮易分割的對象集合，例如派餅；另一種可行思路或為更優的方案——分段式杆件。相較於單純合併杆件分段，更可採取杆件首尾相接的組合方式，由此接引加法的另一種定義：所疊加的並非杆件本身，而是杆件的長度。^[3]

長度的「延伸」

加法 2 + 4 = 6 在數軸上的視覺化版本。向右平移 2 個單位，再向右平移 4 個單位，就是向右平移 6 個單位。

加法 2 + 4 = 6 在數軸上的視覺化版本。向右平移 4 個單位相當於向右平移 1 個單位 4 次。

加法的第二種詮釋，源於通過給定新長度延伸初始長度：^[4]

當初始長度延伸一定量時，最終長度等於初始長度與延伸長度之和。

和式 ${\displaystyle a+b}$ 可解釋為代數上結合 ${\displaystyle a}$ 與 ${\displaystyle b}$ 的二元運算，亦可理解為向 ${\displaystyle a}$ 增添 ${\displaystyle b}$ 個單位。在該詮釋下，和式 ${\displaystyle a+b}$ 的各組成部分具有非對稱作用，該運算可視作對 ${\displaystyle a}$ 施加一元運算 ${\displaystyle +b}$ ^[5]。相較於將 ${\displaystyle a}$ 與 ${\displaystyle b}$ 均稱為加數，將 ${\displaystyle a}$ 稱為「被加數」顯然更妥當，因其扮演被動角色。

一元視角在討論減法時亦具效用，因每個一元加法運算均有對應的逆向一元減法運算，反之亦然。

符號與表示

主條目：加號

加號「+」（Unicode：U+002B；ASCII：+）是拉丁詞語「et」（和）的縮寫，它在數學中的使用至少可以追溯到1489年。

加法通過在各項之間加號「+」表示（中綴表示法的其中一種），運算結果用等號「=」表示。例如：

加號

${\displaystyle {{1}+{1}}=2}$（1 加 1 等於 2）

${\displaystyle {{2}+{2}}=4}$（2 加 2 等於 4）

${\displaystyle {{1}+{2}}=3}$（1 加 2 等於 3）

${\displaystyle {{{5}+{4}}+{2}}=11}$（見結合律）

${\displaystyle {{{{3}+{3}}+{3}}+{3}}=12}$（見乘法）

當一個整數緊接一個分數時，表示兩者的和，此類形式稱為帶分數。例如：^[6]

${\displaystyle 3{1 \over 2}=3+{1 \over 2}=3.5}$

該記法可能引發混淆，因為在大多數其他數學語境中，符號並置（英語：Juxtaposition#Mathematics）通常表示乘法而非加法。^[7]

The Art of Nombryng（15 世紀）是最早的英語算術書之一，此圖為重繪的插圖。

一般加法運算中，待相加的數字或對象統稱為項（term）^[8]或加數（addend 或 summand）^[1]，結果稱為和（sum），此術語體系同樣適用於多項求和情形，但需與乘法運算中的因數（factors）明確區分。有些人將第一個加數稱為被加數（augend）^[9]。事實上，在文藝復興時期，許多學者根本不將首個加數視為「加數」。而今由於了解加法交換律的普遍性，「被加數」一詞已鮮少使用，兩項通常統稱為加數。^[10]

英語單詞 addition（加法，名詞） 和 add（加，動詞）源自拉丁語動詞 addere，它是由介詞 ad 和動詞 dare 組成的合成詞。dare 源於原始印歐語詞根 *deh₃-（給），因此 add 的本質即為「給予」^[10]。通過添加動名詞後綴 -nd，得到 addend（加數，意為「待給予之物」）。類似地，由 augere（增加）派生出 augend（被加數，意為「待增加之物」）。中古英語術語 adden 和 adding 則由喬叟推廣。^[11]

級數的和可以用求和符號（summation）表示，屬於迭代的一種。例如：

${\displaystyle \sum _{k=1}^{5}k^{2}=1^{2}+2^{2}+3^{2}+4^{2}+5^{2}=55}$

至於 summand 和 sum ，則源自拉丁語名詞 summa（意為「最高者」或「頂端」）和相關聯的動詞summare。此用法承襲自古希臘與古羅馬將總和置於列頂的書寫傳統：在做加法時，這裡的人通常將結果寫在加數的上面，因此和字面上就比加數要「高」，^[12]這與現代的寫法恰恰相反。

性質

交換律

用方塊展示 4 + 2 = 2 + 4

加法滿足交換律：左右兩個加數的順序可以調換，結果不變。用符號語言來說，設 a 與 b 為任意兩個數，則 a + b = b + a。

有一些其他的二元運算也滿足交換律，例如乘法^[13]，但不是所有二元運算都滿足交換律，例如減法和除法^[14]就不滿足交換律。

結合律

利用分段的繩子展示的 2 + (1 + 3) = (2 + 1) + 3

加法滿足結合律：多個數相加，運算順序可以調換，結果不變。設 a、b、c 為任意三個數，則 (a + b) + c = a + (b + c) 。例如，當 a = 1，b = 2，c = 3 時： ${\displaystyle (1+2)+3=3+3=6=1+5=1+(2+3)}$

然而，當加法與其他運算共同使用時，運算順序就變得至關重要。在標準運算順序中，加法的優先級低於乘方、${\displaystyle n}$ 次方根、乘法和除法，但與減法具有同等優先級。^[15]

單位元

用裝有點的包展示 5 + 0 = 5

任何數加 0 都等於其本身；零是加法單位元。設 a 為任意數，則 a + 0 = 0 + a = a 。這個性質最早在婆羅摩笈多的《婆羅摩歷算書》（公元628年）被提及，儘管他根據 a 是正數、負數還是零分成了三種情況，並且使用文字說明，而不是代數符號。之後的印度數學家們將這三種情況精簡成了一種情況。大約 830 年，印度數學家 Mahavira 寫道：「零加上一個數就會變成那個數」，對應一元陳述 0 + a = a 。12 世紀時，印度數學家婆什迦羅寫道：「任何一個量（正負均可），加零或減零後保持不變」，對應一元陳述 a + 0 = a 。

後繼

主條目：後繼函數

在整數中，加數為 1 的加法有特殊意義：對於任何整數 a，整數 (a + 1) 是大於 a 的最小整數，稱為 a 的後繼。例如，3 是 2 的後繼，7 是 6 的後繼。這樣，a + b 可以視為 a 的第 b 個後繼，加法成為後繼函數的迭代函數。例如，8 是 7 的後繼，7 是 6 的後繼，所以 8 是 6 的第 2 個後繼，因此 6 + 2 = 8 。

單位

將有單位的物理量相加時，只有相同單位的量可以相加。例如，50 毫米加 150 毫米等於 200 毫米。相加不同的量時，情況則不同，例如5 英尺加 2 英寸等於 62 英寸，因為 1 英尺等於 12 英寸。另一個例子是，3 米加 4 平方米沒有意義，因為米和平方米沒有可比性。這是因次分析的一個基本例子。

不同的加法運算

有許多二元操作可以被視為實數加法的擴展。抽象代數主要關心這類擴展，集合論與範疇論中也有它們的影子。

自然數的加法

更多資訊：自然數

目前有兩種流行的方法用於定義兩個自然數 a 和 b 的和。如果自然數被定義為有限集合的元素個數，那麼 a + b 可以這樣定義：設 N(S) 為集合 S 中的元素個數。設 A 與 B 為不相交的集合且 N(A) = a 且 N(B) = b。那麼 a + b 定義為 N(A ∪ B)（A ∪ B 表示 A 和 B 的交集）。另一種方法是允許 A 與 B 相交並取它們的不交併集（一種允許公共的元素被分開計算兩次的運算）。

另一種流行的方法是遞歸：設 n⁺ 為 n 的後繼，即繼 n 後的下一個自然數，因此 0⁺ = 1，1⁺ = 2，依此類推。定義 a + 0 = a，並通過 a + (b⁺) = (a + b)⁺ 遞歸地定義一般的加法。因此 1 + 1 = 1 + 0⁺ = (1 + 0)⁺ = 1⁺ = 2。同樣，這種定義也有很多變種。上述定義實際上是遞歸定理在部分有序集 N² 上的一個應用。然而，一些文獻傾向於使用只在自然數集合上有定義的狹義遞歸定理：先將 a 臨時想象為固定的，在 b 上應用遞歸以定義一元函數「 f(b) = a + b 」，然後將這些一元函數組合在一起形成完整的二元運算。早在 1854 年，德國數學家理查德·戴德金就發展了這種遞歸定義，並在接下來的幾十年中擴展了這個定義。他利用數學歸納法證明了交換律、結合律等性質。

整數的加法

更多資訊：整數

整數最簡單的理解就是由絕對值（一個自然數）和符號（一般情況下，正或負）組成。整數零是一個特殊情況：它既不是正數也不是負數。對於任何整數 n，定義 |n| 為 n 的絕對值。設 a 與 b 為整數，則它們的和 a + b 的定義需要分類討論：

• 如果 a = 0，那麼 a + b = b；如果 b = 0，那麼 a + b = a。例如：(−2) + 0 = −2。特別地，0 + 0 = 0。
• 如果 a 和 b 都是正數，那麼 a + b = |a| + |b|。例如：4 + 1 = 5。
• 如果 a 和 b 都是負數，那麼 a + b = −(|a| + |b|)。例如：(−4) + (−1) = −(|−4| + |−1|) = −(4 + 1) = −5。
• 如果 a 和 b 一正一負，那麼 a + b 的絕對值等於 a 的絕對值和 b 的絕對值之差（即 ||a| − |b||），符號與 a 和 b 中絕對值較大的一項符號一致。例如：(−6) + 4 = −2，因為 −6 和 4 一正一負，所以 (−6) + 4 的絕對值等於它們的絕對值之差 |−6| − |4| = 2，又因為負數項 −6 的絕對值大於正數項 4 的絕對值，結果為負，因此結果為 −2。

儘管對於實際的問題來說，這個定義足夠了，但對於優雅的一般性的數學證明來說，它實在是太複雜了，情況太多了。

一個數學上更方便的整數的理解方式是使用格羅滕迪克群構造。給定自然數及其加法運算（+）和單位元 0 的定義，每個整數都可以（不唯一地）表達為兩個自然數 a 和 b 的（未正式定義的）差，因此可以將整數定義為兩個自然數組成的數對(a, b)。將等價的數對（差相同）考慮為同一個整數是個小問題。兩個這樣的新的整數 (a, b) 與 (c, d)（其中 a、b、c、d 為整數）的和（用 ⊕ 符號表示）通過自然數的加法（+）定義為：

只用整數的加法定義的 (−2) + 1：(2 − 4) + (3 − 2) = 5 − 6。

${\displaystyle (a,b)\oplus (c,d)=(a+c,b+d)}$

規定整數的加法單位元由數對 (a, a) 生成，且 (a, b) 的加法逆元由 (b, a) 生成（即 −(a, b) = (b, a)），這樣整數的加法群的說明就完整了。利用加法逆元定義負數，將減法定義為「加加法逆元」，都比單獨構造一個減法運算（在基礎數學中被認為是逆運算）要方便許多。

分數的加法

分數的加法可以用最小公分母計算，但從概念上來說只要用加法和乘法就可以了：

${\displaystyle {\frac {a}{b}}+{\frac {c}{d}}={ad+bc \over bd}}$

例如，${\displaystyle {\textstyle {\frac {3}{4}}+{\frac {1}{8}}={3\times 8+4\times 1 \over 4\times 8}={24+4 \over 32}={\frac {28}{32}}={\frac {7}{8}}}}$。

當分母相同時，分數的加法就更簡單了，只要將分子相加，分母不變就行了：

${\displaystyle {\frac {a}{c}}+{\frac {b}{c}}={\frac {a+b}{c}}}$

例如，${\displaystyle {\textstyle {\frac {1}{4}}+{\frac {2}{4}}={\frac {1+2}{4}}={\frac {3}{4}}}}$。

有理數加法的交換律和結合律可以由整數算術的性質很容易地推導而來，見分式環。

實數的加法

更多資訊：實數的構造

複數的加法

複數加法的視覺化表示。圖中 O 為原點（0），向量 A（紅色）與 B（藍色）表示複數加數，X 是結果 A + B 所在的點。

要將兩個複數相加，只需將實數部分和虛數部分分別相加即可，即：

${\displaystyle (a+bi)+(c+di)=(a+c)+(b+d)i}$

利用複數在複平面上的視覺化表示，複數的加法可以幾何解釋為：兩個複數 A 和 B（解釋為複平面上的點）的和，是由以 A、B 與原點 O 為頂點的平行四邊形得到的頂點 X（如圖所示）。等價地說，X 是使三角形 OAB 與三角形 XBA 全等的點。

抽象代數中的加法

向量加法

更多資訊：向量

在線性代數中，向量空間是一個允許向量相加及縮放的代數結構。所有實數的有序對組成的集合就是一個常見的向量空間：有序對 (a, b) 被解釋為歐幾里得平面上從原點到由 (a, b) 表示的點的向量。兩個向量的和是通過將對應的坐標相加完成的：(a, b) + (c, d) = (a + c, b + d)。

在經典力學中，向量解釋為力，因此這個加法運算是經典力學的基礎。

矩陣加法

更多資訊：矩陣

大小相同的兩個矩陣可以相加。兩個 m × n 矩陣 A 和 B 的和也是一個 m × n 矩陣，用 A + B 表示，由對應元素相加得到：

${\displaystyle {\begin{aligned}\mathbf {A} +\mathbf {B} &={\begin{bmatrix}a_{11}&a_{12}&\cdots &a_{1n}\\a_{21}&a_{22}&\cdots &a_{2n}\\\vdots &\vdots &\ddots &\vdots \\a_{m1}&a_{m2}&\cdots &a_{mn}\\\end{bmatrix}}+{\begin{bmatrix}b_{11}&b_{12}&\cdots &b_{1n}\\b_{21}&b_{22}&\cdots &b_{2n}\\\vdots &\vdots &\ddots &\vdots \\b_{m1}&b_{m2}&\cdots &b_{mn}\\\end{bmatrix}}\\&={\begin{bmatrix}a_{11}+b_{11}&a_{12}+b_{12}&\cdots &a_{1n}+b_{1n}\\a_{21}+b_{21}&a_{22}+b_{22}&\cdots &a_{2n}+b_{2n}\\\vdots &\vdots &\ddots &\vdots \\a_{m1}+b_{m1}&a_{m2}+b_{m2}&\cdots &a_{mn}+b_{mn}\\\end{bmatrix}}\end{aligned}}}$

例如：

${\displaystyle {\begin{bmatrix}1&3\\1&0\\1&2\end{bmatrix}}+{\begin{bmatrix}0&0\\7&5\\2&1\end{bmatrix}}={\begin{bmatrix}1+0&3+0\\1+7&0+5\\1+2&2+1\end{bmatrix}}={\begin{bmatrix}1&3\\8&5\\3&3\end{bmatrix}}}$

模算數中的加法

更多資訊：模算數

集合論與範疇論中的加法

自然數加法的一個影響深遠的擴展即是集合論中的序數和基數的加法，它們是將自然數加法擴展到超限數的兩種不同方式。不同於多數加法運算的是，序數的加法不滿足交換律。不過，基數的加法滿足交換律，且與不交並操作有着緊密的聯繫。

在範疇論當中，不交並操作是余積操作的一個特例。一般性的余積操作很可能是加法的所有擴展當中最抽象的一種。一些余積操作的命名突出了它們與加法運算的聯繫，例如直和和楔和。

發散級數的加法

在通常意義下，發散級數沒有傳統意義上的「和」，但可以通過某些定義來求出該定義下發散級數的「和」，如切薩羅求和、阿貝爾求和、歐拉求和（英語：Euler Summation）等。這種擴展意義上的「和」不應與傳統意義上的「和」混淆。

運算方法

先天能力

自20世紀80年代起，關於數學發展的研究開始利用​​習慣化（英語：Habituation）現象​​：嬰兒對意外情境的注視時間更長。^[16] 凱倫·溫1992年的一項開創性實驗通過屏風後操控米老鼠玩偶發現，5個月大的嬰兒預期 ${\displaystyle 1+1=2}$ ，當實際情境暗示 ${\displaystyle 1+1}$ 等於 ${\displaystyle 1}$ 或 ${\displaystyle 3}$ 時，他們會表現出相對更強的驚訝反應。這一發現後來被採用不同研究方法的多個實驗室反覆驗證。^[17]另一項1992年的實驗，則針對18至35個月大的較大幼兒，通過讓他們從盒中取出乒乓球來測試其運動控制能力的發展：年齡最小的幼兒能準確處理小數字，而年齡較大的受試者則能計算不超過5的數字之和。^[18]

此外，部分非人動物（特別是靈長類動物）也展現出有限的加法能力。^[19][20]

從數數開始學加法

通常，兒童最先掌握的是數數能力。當遇到需要將多個物品組合的問題時，年幼的孩子會藉助實物（通常是手指或圖畫）來模擬情境，然後數出總數。隨着經驗的積累，他們逐漸學會或發現「接着數」的策略：當被要求計算 ${\displaystyle 2+3}$ 時，孩子會從 ${\displaystyle 2}$ 開始接着數三個數，即「${\displaystyle 3}$、${\displaystyle 4}$、${\displaystyle 5}$」（通常會逐根屈指計數），最終得出 ${\displaystyle 5}$ 這個結果。這種策略幾乎具有普適性，孩子們很容易從同伴或老師那裡習得。

不同的國家在不同的年齡教授整數和算術。許多國家在學前就教授加法。然而，世界上幾乎所有國家都在小學一年級結束前教授加法。

十進制系統

為了在十進制中進行加法，首先要熟練掌握 100 個基本的一位數加法算式。死記硬背沒問題，但是有規律的記憶方式對於大多數人來說更有效：

• 利用加法交換律（a + b = b + a）這一事實，需要掌握的算式數量從 100 個降低到 55 個。
• 加 1 或加 2 是一項基本工作，通過數數甚至直覺就能完成。
• 因為零是加法單位元，所以加零是很簡單的工作。然而，在算術的教授過程當中，一些學生認為加法是讓加數增加的一個過程。實際問題可能能夠幫助他們意識到零是一個「個例」。
• 一個數加自身與兩個兩個的數數有關，與乘法有關，是許多其他理論的基礎，通常更容易被學生掌握。
• 類似 6 + 7 = 13 的加法算式可以由「一個數加自身」的加法算式推導而來：6 + 6 = 12 再加 1，或 7 + 7 = 14 再減 1，都可以得到 13。
• 形為 5 + x 或 10 + x 的加法算式通常較早被記憶，因此可以用來推導其他加法算式。例如，6 + 7 = 13 可以由 5 + 7 = 12 再加 1 推導而來。
• 一種較高級的方法是以 10 作為涉及 8 或 9 的加法的中間值。例如：8 + 6 = 8 + 2 + 4 = 10 + 4 = 14。

在學生漸漸成長的過程中，他們逐漸學習更多知識，並且學會更快更熟練地推導其他知識。許多學生從不死記硬背，但仍能快速地計算。

進位

主條目：進位

多位數加法的標準計算方式是豎式計算：將加數豎着對齊，從個位開始，一位一位地加。如果某一位的結果超過 9，額外的數位被「進」到前一位。例如，計算 27 + 59 時，如圖，7 + 9 = 16，1 是進位。另一種方法是從最高位開始加。如果採用這種方法，進位便會變得有些棘手，但可以快速得到結果的一個近似值。除此之外，還有很多種其他的方法。

豎式計算 27 + 59 = 86

小數的加法

小數的加法和上面的過程很像：將兩個小數按小數點對齊（如果需要的話，還可以向較短的小數的開頭或末尾添加零，使它和另一個小數一樣長），按上面的過程將數位相加，然後在同樣的地方加上小數點。例如，45.1 + 4.34 的計算過程如圖所示。

豎式計算 45.1 + 4.34 = 49.44。

科學記數法

主條目：科學記數法 § 基本計算

在科學記數法中，一個數以 ${\displaystyle x=a\times 10^{n}}$的形式表示，其中 n 是整數且 1 ≤ a < 10。為了將兩個以科學記數法表示的數相加，它們的指數部分必須相同。例如：

${\displaystyle 2.34\times 10^{-5}+5.67\times 10^{-6}=2.34\times 10^{-5}+0.567\times 10^{-5}=2.907\times 10^{-5}}$

其他進位制

主條目：二進制加法

其他進位制下的加法和十進制加法很像。以二進制下的加法為例。兩個二進制個位數相加相對來說比較簡單，涉及到一種進位：

0 + 0 → 0

0 + 1 → 1

1 + 0 → 1

1 + 1 → 0，進位為 1（因為 1 + 1 = 2 = 0 + (1 × 2¹)）

兩個「1」位相加得到「0」位並向前進位「1」。這和十進制下的加法很像：如果某一位的結果達到或超過基數 10，前一位需要加 1：

5 + 5 → 0，進位為 1（因為 5 + 5 = 10 = 0 + (1 × 10¹)）

7 + 9 → 6，進位為 1（因為 7 + 9 = 16 = 6 + (1 × 10¹)）

二進制的加法是一樣的道理：二進制下的 1101 + 10111 = 100100（即十進制下的 13 + 23 = 36）如圖所示。

豎式計算二進制加法 1101 + 10111 = 100100，即十進制下的 13 + 23 = 36。

計算機

模擬計算機直接操作物理量，所以它們的加法機製取決於加數的形式。一些機械加法計算器以滑動的方塊的位置表示加數，它們使用平均值槓桿計算加法。如果加數表示為兩個軸的旋轉速度，那麼它們可以用差速器相加。水力學加法計算器可以根據牛頓第二定律讓活塞的力平衡以將兩個房間的壓力相加。通用模擬計算機的最常見的情況就是將兩個電壓（以接地為參照）相加，電阻電路可以大致完成這個工作，但是更好的設計需要用到運算放大器。

相關運算

加、減、乘、除是基礎算術中的基本運算。

算術

減法可以視為一種特殊的加法——減一個數等於加它的加法逆元。減法本身就是加法的一種逆運算，因為加 x 和減 x 互為反函數。給定一個定義有加法運算的集合，不總能夠定義一個對應的減法運算，自然數的集合就是一個很簡單的例子。然而，反過來說，一個減法運算唯一地確定一個加法運算、一個加法逆元運算、一個加法單位元。因此，一個加法群可以描述為一個在減法運算下封閉的集合。

乘法可以想成是重複的加法。如果一個單項 x 在加法運算中出現 n 次，那麼這個加法運算的結果就是 x 和 n 的積。即使 n 不是自然數，這個積仍然可能是有意義的，例如當 n = −1 時，這個積就是 x 的加法逆元。

在實數和複數域中，加法和乘法可以通過指數函數互相交換：

${\displaystyle \mathrm {e} ^{a+b}=\mathrm {e} ^{a}\cdot \mathrm {e} ^{b}}$

這個恆等式允許藉助對數表並手動計算加法完成乘法，也使得計算尺上可以進行乘法。在將無窮小量與李代數上的向量加法相互聯繫起來的李群的廣義語境下，這個公式仍然能給出一個較好的第一近似。

一個圓形的計算尺

乘法的擴展甚至比加法更多。一般情況下，乘法對加法滿足分配律，環的定義明確說明了這一要求。在有些語境下，例如整數，乘法對加法的分配律和乘法單位元的存在足以唯一確定乘法運算。分配律還給出了加法的一些信息，例如：將乘法算式 (1 + 1)(a + b) 用兩種方法展開可以得到加法的交換律。因此，一般地，環的加法滿足交換律。

除法和加法的聯繫相對來說沒有那麼緊密。因為 ${\displaystyle \textstyle {\frac {a}{b}}=a\cdot b^{-1}}$，所以除法對加法滿足右分配律，即 ${\displaystyle \textstyle {a+b \over c}={\frac {a}{c}}+{\frac {b}{c}}}$（c ≠ 0），但不總是滿足左分配律，例如 ${\displaystyle \textstyle {1 \over 2+2}={\frac {1}{4}}\neq 1={\frac {1}{2}}+{\frac {1}{2}}}$。

最大值操作

最大值操作 max(a, b) 作為一個二元運算，與加法很相似。事實上，如果兩個非負整數 a 和 b 不是一個數量級的，那麼它們的和與它們的最大值將會很接近。這個近似在數學應用中極其有用，例如在截斷泰勒級數的時候。然而，在數值分析中它是一個經常出現的令人頭疼的問題，其根本原因是最大值操作是不可逆的。如果 b 遠大於 a，那麼 (a + b) − b 直覺化的計算會導致不可接受的捨入誤差，甚至得到結果 0。（參見精度丟失）

在無窮極限中，這個近似變得精確：如果 a 和 b 中有一個是無窮基數，那麼它們的基數和等於它們之中較大者。相應地，無窮基數不可相減。

和加法一樣，最大值操作滿足交換律和結合律。更進一步，由於加法保持了實數的序，加法對最大值操作滿足分配律，就像乘法對加法滿足分配律那樣：

${\displaystyle a+\max(b,c)=\max(a+b,a+c)}$

因此，在熱帶幾何中，乘法由加法代替，加法由最大值操作代替。在這個語境下，加法稱作「熱帶乘法」，最大值操作稱作「熱帶加法」，「熱帶加法單位元」是 −∞。不過，有些作者傾向於使用最小值操作來代替加法，這樣「加法單位元」就是 +∞。

將這些結論放在一起，可以得到：熱帶加法通過對數近似於一般的加法：

${\displaystyle \log _{k}(a+b)\approx \max(\log _{k}a,\log _{k}b)}$

當底數 k 增加，這個近似變得越來越精確。提出一個常數 h（與量子力學中的普朗克常數類似命名）並取 h 趨向 0 時的經典極限，這個近似就可以變得精確：

${\displaystyle \max(a,b)=\lim _{h\to 0}h\log(\mathrm {e} ^{a/h}+\mathrm {e} ^{b/h})}$

在這種意義下，最大值操作實質上是加法的「解量化」版本。