次序同构

order isomorphism