Go backward to Example
Go up to Top
Go forward to 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 +.