significa que a < b, b = c, y c ≤ d (y por transitividad: a < d).