Anti-isomorphism of partially ordered sets

From HandWiki

A bijective antitone mapping of a partially ordered set $ A $ into a partially ordered set $ B $, for which the inverse mapping is also antitone, i.e., a one-to-one mapping $ \phi : A \rightarrow B $ such that $ a < b $ in $ A $ implies $ \phi(a) > \phi(b) $ in $ B $ (and similarly for the inverse).