Naturaalarvude a ja b summa leitakse nii: kui loendamisel on jõutud arvuni a, loendatakse veel b arvu. Arv, milleni jõutakse, ongi nende arvude summa.
Binaarse liitmise pöördtehe on lahutamine.
Liitmise omadused on:
Liitmise erijuht:
$$a+0=0+a=a$$
Olulisemad omadused on kommutatiivsus, assotsiatiivsus ja null kui neutraalne element.
Liidetavate järjekord ei muuda summat.
Liidetavate rühmitus ei muuda summat.
Arvule nulli liitmine ei muuda arvu.