and allow the expression of an important class of constraint satisfaction problems, such as certain scheduling or frequency assignment problems.The fact that homomorphisms can be composed leads to rich algebraic structures: a preorder on graphs, a distributive lattice, and a category