surjective-function public under function 108 List Picture As a command %3 n0 surjective-function n2 bijection n0->n2 n1 function n1->n0