order-isomorphism public under isomorphism 3, monotone-function 3 List Picture As a command %3 n0 order-isomorphism n1 isomorphism n1->n0 n2 monotone-function n2->n0