User:Dfeuer/sandbox

== Lexicographic Orderings


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

Useful links
Axiom of Foundation at NLab