N<
The well-founded less-than relation on natural numbers.
If x and y are both natural numbers then (n< x y) is true
iff x is strictly less than y. n< is well-founded on the natural
numbers and is useful for beginners who want to use measure
functions over natural numbers.
