isomorphism public under homomorphism 8 List Picture As a command %3 n0 isomorphism n2 automorphism n0->n2 n3 graph-isomorphism n0->n3 n4 order-isomorphism n0->n4 n1 homomorphism n1->n0