permutation public under bijection 4, mathematical-operation 42 List Picture As a command %3 n0 permutation n1 bijection n1->n0 n2 mathematical-operation n2->n0