Additive combinatorics: Any two attempts to define what it means for a finite set to be `additively structured' will be approximately equivalent.