Mathlib
Atlas
Foundations
Pathway I
≤
Order theory
Comparability is optional. Hasse diagrams and the lattices they generate.
01
Partial orders
Not everything is comparable. A Hasse diagram draws only the covering relations.
4 min
02
Lattices
A lattice has a meet and a join for every pair — greatest lower and least upper bounds.
4 min
Begin this pathway