Home Up Previous Next Random
A preorder isomorphism
A monotone map for which there exists an inverse monotone map (\(f;g=id\) and \(g;f = id\))
If this exists, we say the preorders involved are isomorphic.