Antitone mapping

of partially ordered sets

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