Axiomas de orden Flashcards
1
Q
(w<r) y (r>w)
A
definición de la relacion menor que
2
Q
k>r si k-r ∈R^+
A
definición de la relacion mayor que
3
Q
r+k∈R^+ y r⋅k∈R^+
A
clausura de los numero positvos
4
Q
r>k⇔r+m>k+m
A
aditiva de la suma para el orden
5
Q
r>0 ⇔-r<0
A
el inverso aditivo de los números reales positivos