Substrate

#group-theory #equivalence #monoid