closure-operator public under mathematical-operator 2, monotone-function 3 List Picture As a command %3 n0 closure-operator n1 mathematical-operator n1->n0 n2 monotone-function n2->n0