# Antitone mapping

A mapping $\phi$ of a partially ordered set $A$ into a partially ordered set $B$ such that if $a \leq b$ (where $a,b \in A$), then $\phi(a) \geq \phi(b)$. The dual concept to an antitone mapping is an isotone mapping.