1: \begin{definition}

2: A functor from the Liouville category with fillings to the category of graded $\mathfrak{k}$-vector spaces satisfying the conclusions of Theorem~\ref{thm:ESSH} is called a \emph{Liouville homology theory}.

3: \end{definition}

4: