Definiciones

 Sea A un subconjunto de números racionales, no vacío.

Se dice que A es un conjunto acotado superiormente en Q si

y sólo si existe z , un número racional tal que para cualquier
elemento x , de A se cumple que x ≤ z . z es llamado cota
superior de A .

Se dice que A no es un conjunto acotado superiormente

en Q si y sólo si A , no tiene cotas superiores. Es decir, si y sólo
si para todo número racional z , existe x ,elemento de A tal que
z < x.

Se dice que A es un conjunto acotado inferiormente en Q

si y sólo si existe z , un número racional tal que para cualquier
elemento x , de A se cumple que z ≤ x .A z se le llama cota
inferior de A .

Se dice que A no es un conjunto acotado inferiormente en

Q si y sólo si A , no tiene cotas inferiores. Es decir, si y sólo si
para todo número racional z , existe x , elemento de A tal que
x<z.

Más Definiciones:

 Sea A un subconjunto de números racionales, no vacío.

Se dice que A tiene elemento máximo si y sólo si existe z ,

elemento de A , tal que para cualquier elemento x , de A se
cumple que x ≤ z . A z se le llama elemento máximo de A .

Se dice que A tiene elemento mínimo si y sólo si existe z ,

elemento de A , tal que para cualquier elemento x , de A se
cumple que z ≤ x . z es llamado elemento mínimo de A .
En términos de cotas superiores e inferiores, se puede decir que A
tiene elemento máximo si es acotado superiormente en Q y una de
sus cotas superiores le pertenece. Análogamente, A tiene elemento
mínimo si es acotado inferiormente en Q y una de las cotas inferiores
le pertenece.
Definición:

Sea A un subconjunto de números racionales, no vacío.

A tiene supremo si y sólo si

1. A es acotado superiormente.

2. El conjunto de cotas superiores de A tiene elemento

mínimo. Es decir, {z ∨z es cota superior de A } tiene elemento
mínimo.
En cuyo caso, el mínimo de {z ∨z es cota superior de A }, es llamado el
supremo de A . Y se denota como ¿( A) .