Freiman's theorem

(mathematics) In additive combinatorics, a central result that indicates the approximate structure of sets whose sumset is small. It roughly states that if |A+A|/|A| is small, then A can be contained in a small generalized arithmetic progression.