Sperner family
Appearance
English
[edit]Etymology
[edit]Named after Emanuel Sperner.
Noun
[edit]Sperner family (plural Sperner families)
- (combinatorics) A family F of subsets of a finite set E in which none of the sets contains another; or, equivalently, an antichain in the inclusion lattice over the power set of E.
- Synonyms: clutter, Sperner system