Go backward to Example Go up to Top Go forward to Example

Example

Take the domain "List(T)" with functions "length" and "append".

We have for all x in  List(T) and y in  List(T)

length(append(x, y)) = length(x) + length(y)

i.e., "length" is a homomorphism from "List(T)" to N with respect to "append" and +.