aka Sperner system
A subset of a Partially ordered set such that for all a,b, if a≠ba\neq ba≠b, then neither a≤ba \leq ba≤b nor b≤ab \leq ab≤a.
Sperner's lemma