1: \begin{definition}

2: \label{def:CM-complex}

3: A simplicial complex $\Delta$ is \emph{Cohen--Macaulay} if and only

4: if its Stanley--Reisner ring is Cohen--Macaulay; equivalently, when

5: $\Delta$ satisfies the condition in Theorem~\ref{thm:reisner}.

6: \end{definition}

7: