 Free monoids and free commutative monoids are examples of free \(C\)-algebras where \(C\) is a class of algebras. In these two examples the class \(C\) is respectively that of monoids and commutative monoids.