Axiomas de orden

Axiomas de orden:

Estos axiomas establecen una relacion de cantidad, esta relacion es del tipo mayor igual.
En realidad, cuando se construyen los naturales, se dice que un número es menor que otro si está contenido en éste, es decir, si su cardinalidad es menor o igual que otra.
Para esto es necesario emplear simbolos menor que y mayor que nos diran si es mayor o menor k otro simbolo o al igual tambien = que ya conocemos.

Axiomas:

1)si x,y t R entonces:
xes menor que y ; x = y; x mayor que y
2) si xes menor que y y ademas y es menor que z entonces x es menor que z
3) si x es menor que y entonces x+z es menor que y+z para todo z
4) si x es menor que y y z mayor que 0, entonces xz es menor que yz