“…hence resolving a related conjecture of Hilton (see [3]). Equality is obtained in Seymour's bound precisely when the minimal sets of F are pairwise disjoint from the minimal sets intersecting each set of G. A broad spectrum of research concerning discrete objects with 'Sperner-like' properties have since emerged (see, for example, [1,2,4,5,7,10,11,12,13,19,23]). Many related results concern families satisfying both Sperner-type properties, and additional properties such as conditions on intersections (see, for example [6,15,17,18,20]).…”