mathematical-group public under mathematical-set 77, monoid 5, quasigroup 5 List Picture As a command %3 n0 mathematical-group n4 abelian-group n0->n4 n5 finite-group n0->n5 n6 mathematical-subgroup n0->n6 n1 mathematical-set n1->n0 n2 monoid n2->n0 n3 quasigroup n3->n0