Sea A un subconjunto no vacío de números reales, se dice que A es acotado inferiormente si existe k que pertenece a los reales tal que