PosetQuest

PosetQuest is an interactive learning app for discrete mathematics and order theory. Explore partial orders through colorful Hasse diagrams — no pen and paper required.  Choose from built-in examples such as set inclusion, divisibility, lexicographic order, and natural order. Adjust parameters to generate posets instantly, inspect covering relations, and tap nodes to view up-sets and down-sets.  Metrics Studio computes height, width, density, and topological order, with optional chain and antichain highlights on the diagram. Dilworth Lab verifies Dilworth's theorem by building chain decompositions and comparing them to maximum antichains. Additional tools include a comparability matrix with axiom checks and an element comparator for join, meet, and pairwise relations.