b - a
a ≤





0
0
a ≤