1: \begin{definition}[\cite{EPW15} Theorem 2.2]\label{KLdef}

2: 

3: Let $\calP$ be a finite ranked poset. The \emph{Kazhdan-Lusztig polynomial} of $\calP$, $P(\calP,t)$ is the polynomial recursively defined which satisfies

4: 

5: \begin{enumerate}

6: 

7: \item If $\rk(\calP)=0$ then $P(\calP,t)=0$.

8: 

9: \item If $\rk (\calP)>0$ then $\deg (P(\calP,t))<.5\rk(\calP)$.

10: 

11: \item For all $\calP$, \begin{equation*}\label{recursion} t^{\rk(\calP)}P(\calP,t^{-1})=\sum\limits_{F\in \calP}\chi_1(\calP_F,t)P(\calP^F,t) \end{equation*} where $\chi_1(\calP,t)$ is the usual characteristic polynomial (see \cite{OT} or definition \ref{defchar}).

12: 

13: \end{enumerate}

14: 

15: \end{definition}

16: