User:Dfeuer/sandbox

== Lexicographic Orderings


 * User:Dfeuer/Definition:Lexicographic Ordering on Product
 * User:Dfeuer/Definition:Lexicographic Ordering of Finite Sequences


 * User:Dfeuer/Well-Founded Relation Determines Minimal Elements

Useful links
Axiom of Foundation at NLab