The constraints are treated as a subset relation in the fix-point, so (a, b) ∈ constraints is just unpacking one constraint from the set and specifying the relation between the two items in the constraint.