Definition 1 (Set system). Let $X$ be a set. A set system on $X$ (or a family of subsets of $X$) is a family $A\subset P(X)$.