Inequality can be defined in Peano arithmetic in a total way. Maybe you're talking about defining some relation on the model? But what justifies calling such a

Inequality can be defined in Peano arithmetic in a total way. Maybe you're talking about defining some relation on the model? But what justifies calling such a relation an inequality?