order is a general concept which builds on top of the concept of equality. If they are not equal, then what are they? We can manually define an order for a type to determine which is lesser or greater. once you have this rule (the order), then you can sort

effectively you could think of them the same, or that sorting is an application of using the order rules for a given type