empty property

T get empty

The identity element of this monoid.

This value has the property that combining it with any other value leaves that value unchanged:

• combine(empty, a) == a for any a : T
• combine(a, empty) == a for any a : T

This is the "neutral" or "zero" element of the monoid. For addition it's 0, for concatenation it's empty string/list, etc.

Implementation

T get empty;