1: \begin{definition}

2: Let $P$ be a poset.

3: 

4: \begin{enumerate}

5: \item[(a)] A poset $Q$ is said to be an \textit{extension} of $P$ if and only

6: if the following two statements hold:

7: 

8: \begin{itemize}

9: \item We have $Q=P$ as sets.

10: 

11: \item Any two elements $a$ and $b$ of $P$ satisfying $a\leq b$ in $P$ satisfy

12: $a\leq b$ in $Q$.

13: \end{itemize}

14: 

15: \item[(b)] An extension $Q$ of $P$ is called a \textit{linear extension} of

16: $P$ if and only if the poset $Q$ is totally ordered.\footnote{This notion of a

17: linear extension is identical to the one used in

18: Theorem~\ref{Stanley's-P-partition-theorem}, except that we don't require $P$

19: to be finite here.}

20: \end{enumerate}

21: \end{definition}

22: