"monoid" - key terms from Wikipedia