In fact, this is the free monoid over the set of list elements.
Ουσιαστικά, πρόκειται για το ελεύθερο μονοειδές πάνω από το σύνολο των στοιχείων της λίστας.