Kneser's theorem (combinatorics)
= Kneser's theorem (combinatorics)
{wiki=Kneser's_theorem_(combinatorics)}
Kneser's theorem is a result in combinatorial topology and algebraic topology that deals with the intersection properties of certain families of subsets of a finite set. Specifically, it provides a bound on the size of families of subsets that can be chosen from a finite set, under the constraint that certain intersections are empty.