Sperner family

Etymology
Named after.

Noun

 * 1)  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.