Substrate

#equivalence #monoid #group-theory