Diferencia entre revisiones de «Orden total»
Contenido eliminado Contenido añadido
Añado |
|||
Línea 1:
En [[matemáticas]], un '''orden total''', '''orden lineal''', '''orden simple''', o simplemente '''orden''' en un [[conjunto]] ''X'' es una [[relación binaria]] sobre ''X'' que es [[relación antisimétrica|antisimétrica]], [[relación transitiva|transitiva]], y [[relación total|total]]; esto es, si se denota una tal relación por ≤, lo siguiente vale para cualesquiera ''a'', ''b'', y ''c'' en ''X'':
{{Plantilla:Tipos de relaciones homogéneas}}
* ''a'' ≤ ''a'' (reflexividad)
* Si ''a'' ≤ ''b'' y ''b'' ≤ ''a'', entonces ''a'' = ''b'' (antisimetría).
* Si ''a'' ≤ ''b'' y ''b'' ≤ ''c'', entonces ''a'' ≤ ''c'' (transitividad).
| |||