1: \begin{definition}

2: {\it Ehrenborg's quasisymmetric function} $\Psi[P]$ for a bounded ranked poset $P$

3: is the image of $[P]$ under the map

4: $\kk[\PPP] \overset{\Psi}{\longrightarrow} \Qsym$

5: induced by the zeta function

6: $\kk[\PPP] \overset{\zeta}{\longrightarrow} \kk$ as

7: a character, via Theorem~\ref{Qsym-as-terminal-object-theorem}.

8: \end{definition}

9: