Binary operation defined recursively: a+0 = a; a+S(b) = S(a+b).
Addition on naturals
Related concepts
- Natural numbers (ℕ)
- Multiplication on naturals
- Presburger arithmetic
- Pauli exclusion principle
- Q-value from mass defect: Q = (Σm_i − Σm_f)·c²
- Polyketide chain-extension framework: 1 acetyl (C2) + n malonyl (each adding C2) → C(2n+2) chain
- Diels-Alder atom-economy framework: [4+2] cycloaddition conserves all atoms (atom economy = 1)
- Born-Haber cycle: Hess's law applied to ionic-solid formation enthalpies
- Base editor
- Glycan mass additivity: M(n hexoses) = 162·n + 18 (residue + terminal)
- Glycolytic ATP-yield stoichiometry framework
- Purine de-novo biosynthesis (IMP pathway) framework