✐‹creator "Kevin Kappelmann"› section ‹Orders› theory Orders imports Equivalence_Relations Linear_Orders Order_Functions Order_Functors Partial_Equivalence_Relations Partial_Orders Preorders Strict_Linear_Orders Strict_Partial_Orders Wellorders begin paragraph ‹Summary› text ‹Basic order-theoretic concepts.› end