\begin{definition}[Definition:Amicable Pair/Definition 1]
Let $m \in \Z_{>0}$ and $n \in \Z_{>0}$ be (strictly) positive integers.
$m$ and $n$ are an '''amicable pair''' {{iff}}:
:the aliquot sum of $m$ is equal to $n$
and:
:the aliquot sum of $n$ is equal to $m$.
\end{definition}