sum-freeA set A is called sum-free if the equation a1+a2=a3 does not have solutions in elements of A. Equivalently, a set is sum-free if it is disjoint from its 2-fold sumset, i.e., A∩2A=∅.