monoid public under semigroup 20 List Picture As a command %3 n0 monoid n2 mathematical-group n0->n2 n1 semigroup n1->n0