1: \begin{definition}{Multiset-homomorphism \cite{Cohen06}} 

2: \label{multiset-homom-def}

3: %\reminder{Say in some note here, that \cite{Cohen06} gives this definition for conjunctive queries that may also contain negation and comparisons (i.e., ACs).} % However, the definition of \cite{Cohen06} is given *only* for relational (i.e., *not* for copy-sensitive) subgoals of queries, as is the *proof* of Theorem~\ref{cutup-cohen-thm-three-three}.} 

4: Let\linebreak $Q(\bar{X}) \leftarrow L,  M$ and $Q'(\bar{X}') \leftarrow L',  M'$ be two $k$-ary CCQ queries, for $k \geq 0$. %, where $L$, $L'$ are conjunctions of relational and/or copy-sensitive %\reminder{Is this definition given only for *pure* CQ queries? Why does this definition *not* cover copy-sensitive subgoals?} atoms. 

5: Let $\varphi$ be a mapping from the terms of $Q'$ to the terms of $Q$.\footnote{We also apply $\varphi$ to atoms and conjunctions of atoms, in the obvious way, e.g., $\varphi(p(\bar{S})) = p(\varphi(\bar{S}))$.} We say that $\varphi$ is a {\em multiset-homomorphism from $Q'$ to $Q$} if  $\varphi$ satisfies all of the following conditions:

6: \begin{enumerate}

7: 	\item $\varphi \bar{X}' = \bar{X}$ ;

8: %\vspace{-0.2cm}

9: 	\item $\varphi$ is the identity mapping on constants;

10: %\vspace{-0.2cm}

11: 	\item the core-set of $\varphi L'$ is a subset of the core-set of $L$ ;

12: %	\item $C' \models \varphi C$ ;

13: %\vspace{-0.2cm}

14: 	\item $\varphi M' \subseteq M$ ; and

15: %\vspace{-0.2cm}

16: 	\item $\varphi Y \neq \varphi Y'$ for every two variables $Y \neq Y' \in M'$. 

17: \end{enumerate}

18: \vspace{-0.6cm}

19: \end{definition}