A Sperner family is a specific type of collection of sets in combinatorics, named after Emanuel Sperner, who studied these structures in the context of set theory. A Sperner family, or Sperner's family, is defined as a family of subsets of a finite set such that no one subset is contained within another.
New to topics? Read the docs here!