Diferencia entre revisiones de «Número entero»
Contenido eliminado Contenido añadido
m Revertidos los cambios de 190.159.149.129 (disc.) a la última edición de Eduardosalg |
|||
Línea 224:
* Para todo <math>a,b,c\in\mathbb{Z}</math>, con <math>a\neq 0,\quad ab=ac\quad \Rightarrow\quad b=c</math>.
=== Propiedades de orden ===
* Si ''a'' = ''b'' Entonces ''b'' = ''a''
==== Propiedad [[relación reflexiva|reflexiva]] del orden ====
* ''a'' = ''a''
==== Propiedad [[relación antisimétrica|antisimétrica]] del orden ====
* Si ''a'' ≤ ''b'' y ''b'' ≤ ''a'', entonces ''a'' = ''b''.
==== Propiedad [[relación transitiva|transitiva]] del orden ====
* Si ''a'' < ''b'' y ''b'' < ''c'', entonces ''a'' < ''c''.
==== Compatibilidad del orden con las operaciones ====
* Si ''a'' ≤ ''b'' entonces ''a''+''c'' ≤ ''b''+''c'',
para todo c ∈<math>\mathbb{Z}</math>.
* y si ''c'' ≥ 0, con ''a'' ≤ ''b'' entonces ''a'' ''c'' ≤ ''b'' ''c''
=== Propiedad o axioma de la buena ordenación ===
| |||