Order relations, min, max, inf, sup and linear order