mathematical-subgroup public under mathematical-group 4 List Picture As a command %3 n0 mathematical-subgroup n1 mathematical-group n1->n0