However, an operation ≤ can be defined so as to satisfy only the first property (namely, "if a ≤ b, then a + c ≤ b + c").
Међутим, оператор ≤ се може дефинисати тако да задовољава први услов („ако је a ≤ b тада је a + c ≤ b + c“).