1: \begin{definition}\label{shellable}(cf. (\cite{US}, Theorem 4)) Let $n \in \mathbb{N}$, let $\mathcal{F}$ be a finite family of subsets of $[n]$, and write $m = |\mathcal{F}|$. Then $\mathcal{F}$ is \emph{shellable} if there exists a bijection $\sigma_{\mathcal{F}} : [m] \to \mathcal{F}$ such that for all $k \in [m]$,

2: \begin{equation}\label{shell}

3: \bigg{|} \bigcup_{i=1}^k \sigma_\mathcal{F}(i) \bigg{|} = k.

4: \end{equation}

5: \end{definition}

6: