Yep, it sounds like you pretty much have it. In addition to the two examples you mention, here are some other examples of monoids: Lists under concatenation B

Yep, it sounds like you pretty much have it. In addition to the two examples you mention, here are some other examples of monoids: Lists under concatenation Booleans under AND Booleans under OR Numbers under max Numbers under min