Substrate

#monoid #group-theory