Números Reales := Cuerpo totalmente ordenado y completo (R, +, ∗, 0, 1, ≤)

Números Racionales := Cuerpo totalmente ordenado e incompleto (Q, +, ∗, 0, 1, ≤)

Cuerpo := anillo de división conmutativo (F, +, ∗, 0, 1) (las propiedades del ‘’menor o igual que” para los números en general)
(las operaciones básicas del álgebra (suma, resta, multiplicación, y división) y su interacción) Conjunto totalmente ordenado = Conjunto ordenado con totalidad (S, ≤)
∀a, b ∈ S ∶ a ≤ b ∨ b ≤ a.
(adición) Grupo abeliano := grupo conmutativo (G, +, 0) (multiplicación) Monoide conmutativo con reciprocos/inversos diferentes de cero (S, ∗, 1)
∀x, y ∈ G ∶ x + y = y + x. ∀x, y ∈ S ∶ x ∗ y = y ∗ x. Conjunto ordenado = Conjunto preordenado asimétrico (S, ≤)
∀a, b ∈ S ∶ a ≤ b ∧ b ≤ a Ô⇒ a = b.
Grupo = monoide invertible (la resta) (G, +, 0) Monoide con reciprocos/inversos diferentes de cero (la división) (S, ∗, 1)
∀x ∈ G. ∃(−x) ∈ G ∶ x + (−x) = 0 = (−x) + x. ∀x ∈ S/{0}. ∃ x1 ∶ x ∗ x1 = 1 = x1 ∗ x. Conjunto preordenado = estructura relacional reflexiva y transitiva (S, ≤)
reflexiva: ∀a, b, c ∈ S ∶ a ≤ a.
Monoide = semigrupo con elemento neutro (el 0 para la adición) (S, +, 0) Monoide = semigrupo con elemento neutro (el 1 para la multiplicación) (S, ∗, 1) transitiva: ∀a, b, c ∈ S ∶ a ≤ b ∧ b ≤ c Ô⇒ a ≤ c.
∃0 ∈ S. ∀x ∈ S ∶ x + 0 = x = 0 + x. ∃1 ∈ M. ∀x ∈ S ∶ x ∗ 1 = x = 1 ∗ x.
Estructura relacional
Semigrupo = magma asociativo (S, +) Semigrupo = magma asociativo (S, ∗) Una estructura algebraica (S, ≤) con una relación homogénea ≤.
∀x, y, z ∈ S ∶ x + (y + z) = (x + y) + z. ∀x, y, z ∈ S ∶ x ∗ (y ∗ z) = (x ∗ y) ∗ z.

Magma = estructura algebraica cerrada (S, +). Magma = estructura algebraica cerrada (S, ∗)
∀(x, y) ∈ S × S ∶ x + y ∈ S. ∀(x, y) ∈ S × S ∶ x ∗ y ∈ S.

Estructura algebraica Estructura algebraica

Una tupla (S, +1 , +2 , . . .) con un conjunto S y una o más operaciones Una tupla (S, ∗1 , ∗2 , . . .) con un conjunto S y una o más operaciones
entre elementos de S. entre elementos de S.

Relación
la multiplicación se distribuye sobre la adición (F, +, ∗, 0, 1) Un subconjunto R de S × T
∀x, y, z ∈ F ∶ x ∗ (y + z) = x ∗ y + x ∗ z. donde a R b se interpreta como (a, b) ∈ R.
Suma Producto Combinadas
Relación homogénea Relación heteroénea
Estructuras tipo anillo Asociatividad Elemento neutro Inversos Conmutatividad Asociatividad Elemento neutro Inversos (≠ 0) Conmutatividad Distributividad
Una relación R en S × S. Una relación R en S × T
Semianillo ✓ ✓ ✓ donde S ≠ T .
Subanillo ✓ ✓ ✓ ✓ ✓
Anillo ✓ ✓ ✓ ✓ ✓ ✓
Anillo conmutativo ✓ ✓ ✓ ✓ ✓ ✓ ✓
Anillo unitario (con identidad) ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓
Anillo de división ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓
Cuerpo ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓

(las desigualdades) Compatibilidad del conjunto totalmente ordenado con las operaciones del cuerpo (Q, +, ∗, 0, 1, ≤)

Compatibilidad del conjunto totalmente ordenado con la adición (Q, +, 0, ≤) Compatibilidad del conjunto totalmente ordenado con la multiplicación (Q, ∗, 1, ≤)
Si se suman ambos lados por el mismo número, la desigualdad se conserva. Si se multiplican ambos lados por un mismo número positivo, la desigualdad se conserva, si es negativo, se invierte.
∀a, b, c ∈ Q ∶ a ≤ b Ô⇒ a + c ≤ b + c ∀a, b, c ∈ Q ∶ 0 ≤ c ∧ a ≤ b Ô⇒ ac ≤ bc

Completitud (R, +, ∗, 0, 1, ≤)
Se puede definir de varias formas, dos posibles definiciones son: la completitud de Dedekind y la completitud de Cauchy.

Completitud de Dedekind (R, +, ∗, 0, 1, ≤) Completitud de Cauchy (R, +, ∗, 0, 1, ≤)

Todo subconjunto de los reales esta acotado por una mı́nima cota superior. Toda secuencia de Cauchy es convergente.
∀S ⊂ R. ∃x ∈ R ∶ sup S = x.
Secuencia de Cauchy Convergencia de una secuencia
Una secuencia ⟨xn ⟩ en Q es cauchy si: Una secuencia ⟨xn ⟩ en Q converge si:
∀ε ∈ R>0 . ∃n0 ∈ N. ∀m, n ∈ N ∶ m, n ≥ n0 ∶ ∣xn − xm ∣ < ε. ∃L ∈ R ∶ lim xn = L
n→∞

Lı́mite
∃L ∈ R. ∀ε ∈ R>0 . ∃n0 ∈ N. ∀n > n0 ∶ ∣xn − L∣ < ε donde L es el lı́mite.
El lı́mite de la secuencia ⟨xn ⟩ se denota como lim xn = L.
n→∞

Cota superior := Valor mas grande que cualquier elemento de un conjunto. x

X = {t ∣ t ∈ R, ∀s ∈ S, s ≤ t} es el conjunto de cotas superiores.
Mı́nima cota superior := la cota superior mas pequeña, denotada por sup S.
L+ε

Secuencia
Una función ⟨xn ⟩n∈A ∶ A → B donde A ⊂ N es una secuencia en B. L
Si el dominio A es infinito, entonces se conoce como una secuencia infinita.
Una secuencia en R se conoce como una secuencia real. L−ε
xn es el elemento del contradominio de la secuencia asociado con n. x n0
n
Función n0
Una función f ∶ A → B es una relación heterogénea R en A × B, tal que cumpla:
La condición de la existencia de imagen: ∀a ∈ A. ∃b ∈ B ∶ a R b.
La condición de la unicidad de imagen: (a R b1 ∧ a R b2 ) Ô⇒ b1 = b2 .
Donde f (x) = y se interpreta como (x, y) ∈ R (es decir, x R y).
Al conjunto A se le llama dominio, y al conjunto B contradominio.