1: \begin{definition}\label{def:canonical1}

2: A \emph{canonical zero set} for the two-item optimal mechanism design problem is a nonempty  closed subset $Z$ of $D_1 \times D_2$, where $Z$ is decreasing and convex. We denote by $s : [d_1^-, c] \rightarrow D_2$ (with $c < d_1^+$) the outer boundary of $Z$.\footnote{While $s$ need not be a function, it is notationally convenient to refer to it as such. In Theorem~\ref{generalthm}, we only refer to ``$s(z_1)$'' when the slope of $s$ is between horizontal and $45^\circ$ downwards, and only refer to ``$s^{-1}(z_2)$'' when the slope is between $45^\circ$ downwards and vertical. To be strictly formal, we could define $s$ to be the set of points on the boundary.} That is: 

3: 	$$Z = \left\{(z_1,z_2) : z_1 \in [d_1^-,c] \textrm{ and } z_2 \leq s(z_1) \right\}.$$

4: We require that $s$ be differentiable almost everywhere.

5: 

6: We denote by $a, b \in [d_1^-,c]$ points such that:

7: \begin{itemize}

8: 	\item $0 \geq s'(z_1) \geq -1$ for $z_1 \in [d_1^-,a]$

9: 	\item $s'(z_1) = -1$ for $z_1 \in [a,b]$

10: 	\item $s'(z_1) \leq -1$ for $z_1 \in [b,c]$.

11: \end{itemize}

12: 

13: A canonical zero set $Z$ gives rise to a \emph{canonical partition} of $D_1 \times D_2$ into four regions, $Z$, $\mathcal{A}$, $\mathcal{B}$, $\mathcal{W}$, where:

14: \begin{itemize}

15: 	\item $\mathcal{A} = ([d_1^-,a] \times D_2) \setminus Z$

16: 	\item $\mathcal{B} = ([b,d_1^+) \times [d_2^-,s(b)]) \setminus Z$

17: 	\item $\mathcal{W} = D_1 \times D_2 \setminus (Z \cup \mathcal{A} \cup \mathcal{B}) =  ((a,d_1^+) \times (s(b),d_2^+)) \setminus Z$,

18: \end{itemize}

19: as shown in Figure~\ref{canonicalfig}.

20: \end{definition}

21: