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 +.