[AMPL 24834] TSP Dantzig–Fulkerson–Johnson DFJ subtour elimination

See How can I get AMPL to index over the “power set” consisting of all subsets of a set? in our Frequently Asked Questions. In the answer to this question, the TSP subtour elimination constraints are given as an example.