1: \begin{definition}

2: 		Let $\rho_{AB}\in\sS(\sH_A\otimes\sH_B)$ and

3: 		$\sigma_{AB'}\in\sS(\sH_A\otimes\sH_{B'})$ be such that

4: 		$\Tr_B\rho_{AB}=\Tr_{B'}\sigma_{AB'}$. We say that $\rho_{AB}$ is

5: 		\emph{more informative} than $\sigma_{AB'}$, written as

6: 		\begin{equation*}

7: 		\rho_{AB}\supseteq_A\sigma_{AB'},

8: 		\end{equation*}

9: 		if and only if any one of the four statements in

10: 		Theorem~\ref{theo:comparison} holds.

11: 	\end{definition}

12: