Skip to main content
-
En los anillos ordenados, {a ≤ b, 0 ≤ c} ⊢ ac ≤ bc
-
En los anillos ordenados, 0 ≤ b - a → a ≤ b
-
En los anillos ordenados, a ≤ b → 0 ≤ b - a
-
En los retículos, una distributiva del supremos implica la otra
-
En los retículos, una distributiva del ínfimo implica la otra
-
En los retículos, x ⊔ (x ⊓ y) = x
-
En los retículos, x ⊓ (x ⊔ y) = x
-
En los retículos, (x ⊔ y) ⊔ z = x ⊔ (y ⊔ z)
-
En los retículos, (x ⊓ y) ⊓ z = x ⊓ (y ⊓ z)
-
En los retículos, x ⊔ y = y ⊔ x
-
En los retículos, x ⊓ y = y ⊓ x
-
Conmutatividad del máximo común divisor
-
Si x divide a w, entonces también divide a y(xz)+x²+w²
-
Si x, y, z ∈ ℕ, entonces x divide a yxz
-
En ℝ, |a| - |b| ≤ |a - b|
-
En ℝ, min(a,b)+c = min(a+c,b+c)
-
En ℝ, min(min(a,b),c) = min(a,min(b,c))
-
En ℝ, max(a,b) = max(b,a)
-
En ℝ, min(a,b) = min(b,a)
-
En ℝ, |ab| ≤ (a²+b²)/2
-
En ℝ, 2ab ≤ a² + b²