Intervalo
Considerando un conjunto ordenado, llamaremos intervalo de ese conjunto a todo subconjunto que cumple:
Si a es un elemento del conjunto y existe algún b del subconjunto menor que el y c también perteneciente al subconjunto mayor que el entonces a pertenece al subconjunto.
Teniendo en cuenta la definición anterior , si tenemos el conjunto de los naturales
un subconjunto $ \{ 5,6,7,8,9 \} $ esto es claramente un intervalo ya que cualquier número de ellos excepto el 5 y el 9 tienen un número mayor y menor que el
y sea cual sea el intervalo esto los van a cumplir todos menos el mayor de ellos y el menor de ellos, luego vasta definir este par, para definir el intervalo.
de este modo, el intervalo quedaría como $ x \in \mathbb{N} | x \geq 5 , x \leq 9 $
