Hey Chris,

> I am not quite sure what you mean by set based algorithms?

If you read Keith's definition you can see he's trying to do structural recursion on sets to define his preorder relation.