Category:Natural Numbers are Comparable