Substrate

#monoid #equivalence #group-theory