docoo
Orden
Un conjunto es ordenado, si sobre el se define una relación de orden, pero en función de las características de esta relación, se puede matizar entre distintos tipos de orden.

Parcial o total

  • total la relación de orden está perfectamente definida en todos los conjuntos.
  • parcial enxiste la relación pero no está definida para todos los elementos dos a dos eso si, ha de cumplir que si está definida $ f(a,a') $ también tiene que estarlo $f(a',a) $

acotada o no acotada

  • acotada Existe una cota superior y otra inferior.
  • no acotada No existen esas cotas.

ordenes estrictos y no estrictos

  • estrictos no son reflexivos ya que $f(a,a)$ no está definida, y tiene que ser asimétrica y transitiva por ser relación de orden.
  • no estrictos $f(a,a)=V$ es la ferencia a $\leq$ y $\geq$.

--