Follows Associativity Law and has an append method (traditionally known as mappend)
Is a Semigroup that also defines an identity element such that for any a and operation mappend, the following is true: mappend a identity = mappend identity a = a
Refers to using Reduce instead of recursion to reduce one or more items to a single item