Additive combinatorics is a branch of mathematics that studies the properties of addition and the structure of sets under addition.