クネーザーの定理 (組み合わせ論)
G をアーベル群、A, B を G の空でない有限部分集合とする。
H = { h ∈ G | h + ( A + B ) = ( A + B ) } {\displaystyle H=\lbrace h\in G|h+(A+B)=(A+B)\rbrace }
とおく(この H は G の部分群である)。 | A | + | B | ≤ | G | {\displaystyle |A|+|B|\leq |G|} ならば
| A + B | ≥ | A + H | + | B + H | − | H | ≥ | A | + | B | − | H | {\displaystyle |A+B|\geq |A+H|+|B+H|-|H|\geq |A|+|B|-|H|}
となる。