Go backward to ExampleGo up to TopGo 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 +.

Author: Wolfgang Schreiner

Last Modification: December 7, 1999