أصنّف: الترتيب والجمع في IR

⁦a ≤ b⁩ ⇒ ⁦a + c ≥ b + c⁩

⁦a ≤ b⁩ ⇒ ⁦a − 3 ≤ b − 3⁩

⁦a ≤ b⁩ ⇒ ⁦a − b ≥ 0⁩

⁦a ≤ b⁩ ⇒ ⁦a + c ≤ b + c⁩

⁦a ≤ b⁩ و⁦c ≤ d⁩ ⇒ ⁦a + c ≤ b + d⁩