Definition:Ordering on Peano Structure