monotone-function public under function 108 List Picture As a command %3 n0 monotone-function n2 closure-operator n0->n2 n3 order-embedding n0->n3 n4 order-isomorphism n0->n4 n1 function n1->n0