bijection public under surjective-function 5 List Picture As a command %3 n0 bijection n2 isometry n0->n2 n3 affine-transformation n0->n3 n4 permutation n0->n4 n1 surjective-function n1->n0