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").