1: \begin{definition}[The associahedron]

2: \label{def:asso}

3: {\rm

4: The $n$-dimensional \emph{associahedron} is the convex polytope 

5: (defined up to combinatorial equivalence) 

6: that is dual (or polar, see

7: \cite[Sec.~2.3]{Ziegler}) to the polytope of

8: Theorem~\ref{dual-assoc}. 

9: %Thus, strictly speaking, any member of a certain family of polytopes

10: %can be called the associahedron;

11: %all these polytopes are however isomorphic to each other as cell

12: %complexes. 

13: }\end{definition}

14: