Identity element

The identity element (or left identity element) for a given type and dyadic function f is an object x such that f[x;y]~y for all (or almost all) y.

Identity elements corresponding to primitive dyadic verbs act as a default seed for fold, scan, and each prior.