Relacion de orden
Fecha de primera versión: 09-06-08
Fecha de última actualización:
09/06/2008
Una relación binaria es una relación de orden que tiene las propiedades:
Reflexiva: a R a
Antisimétrica: Si a R b y b R a entonces a = b.
Transitiva: Si a R b y b R a, entonces a R c.
Si en un conjunto se puede establecer una relación de orden el conjunto se dice ordenado.
Las relaciones de orden se representan con el símbolo menor igual (a <= b)
En un conjunto ordenado, si b <= a para todo b, a se llama elemento máximo. Si el máximo existe es único.
En un conjunto ordenado, si a <= b para todo b, a se llama elemento mínimo. Si el mínimo existe es único.
En un conjunto ordenado, si a <= b implica a = b, a y b se llaman elementos maximales.
En un conjunto ordenado, si b <= a implica a = b, a y b se llaman elementos minimales.