Definition:Ordering on 1-Based Natural Numbers