It's the identity element of the monoid, no?

Similarly, the product of an empty list should be 1.