Om en är mindre än b och c är mindre än d då en plus c är mindre än b plus d?

Om en är mindre än b och c är mindre än d då en plus c är mindre än b plus d?

Korrekt.