Trace monoid

ウィキペディアから