{{main|Сложение (математика)}}Դիցուք՝ <math>\N</math>բազմություն ունի <math>a</math> անդամ, որոնք կազմում են <math>A</math> ենթաբազմությունը և <math>b</math> անդամները, որոնք կազմում են <math>B</math>ենթաբազմությունը (<math>A \subset \N, B \subset \N</math>, a և b - բնական թվեր են)։ Այդ դեպքում <math>a+b</math> թվաբանական գումարը կլինի <math>c</math>անդամների քանակը, որոնք կազմում են <math>C\subset \N</math> ենթաբազմությունը, որն առաջանում է սկզբնական ենթաբազմությունների միավորումից <math>C=A \sqcup B</math>։