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).
