Diferencia entre revisiones de «Orden total»

32 bytes eliminados ,  hace 6 años
sin resumen de edición
{{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).
* ''a'' ≤ ''b'' [[disyunción lógica|o]] ''b'' ≤ ''a'' (totalidad o ''completitud'').
 
 
La propiedad de totalidad de esta relación se puede también describir como que todo par de elementos son [[Comparabilidad|comparables]] bajo la relación.
Usuario anónimo