Infinite Descent

An interactive force-graph that visualizes well-quasi-orderings. Click to drop elements, watch comparable pairs link up, and switch between natural numbers, pairs, and sequences.