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