Skip to main content
-
Si (∀n)[uₙ ≤ vₙ], entonces lim uₙ ≤ lim vₙ
-
Si x, y ∈ ℝ tales que (∀ z)[y < z → x ≤ z], entonces x ≤ y
-
La paradoja del barbero
-
Las sucesiones convergentes están acotadas
-
Un número es par si y solo si lo es su cuadrado
-
Los supremos de las sucesiones crecientes son sus límites
-
Si `f(x) ≤ f(y) → x ≤ y`, entonces f es inyectiva
-
Si una función es creciente e involutiva, entonces es la identidad
-
La composición de una función creciente y una decreciente es decreciente
-
Los monoides booleanos son conmutativos
-
Si M es un monoide, a ∈ M y m, n ∈ ℕ, entonces a^(m·n) = (a^m)^n
-
Si G es un grupo y a, b, c ∈ G tales que a·b = a·c, entonces b = c
-
Si G un grupo y a ∈ G, entonces (a⁻¹)⁻¹ = a
-
Si G es un grupo y a, b ∈ G, entonces (ab)⁻¹ = b⁻¹a⁻¹
-
Si G es un grupo y a, b ∈ G tales que ab = 1 entonces a⁻¹ = b
-
Unicidad del elemento neutro en los grupos
-
Caracterización de producto igual al primer factor
-
Unicidad de inversos en monoides
-
Equivalencia de inversos iguales al neutro
-
Producto de potencias de la misma base en monoides
-
En los monoides, los inversos a la izquierda y a la derecha son iguales
-
Teorema de Cantor
-
Imagen inversa de la intersección general