Relational equations in totally ordered lattices and their complete resolution