Definition:Ordering on Von Neumann Construction of Natural Numbers