Order Theory

Order theory studies comparison relations, lattices, intervals, monotonicity, and order-complete constructions.

• Ordered sets
• Lattices and Boolean algebras
• Fixed points and domain theory

The dependency explorer needs JavaScript and its graph data.

Download the complete graph data.