11 766
ediciones
(Añado) |
|||
* Si ''X'' es un conjunto y ''f'' una [[función inyectiva]] de ''X'' a un conjunto totalmente ordenado, ''f'' induce un orden total en ''X'' tomando ''x'' < ''y'' si y solo si ''f''(''x'') < ''f''(''y'').
* El [[orden lexicográfico]] en el [[producto cartesiano]] de cualquier colección de conjuntos totalmente ordenados es en sí mismo un orden total. Por ejemplo, cualquier conjunto de palabras con el orden alfabético usual está totalmente ordenado, visto como un subconjunto del producto cartesiano de un conjunto finito de símbolos, el alfabeto con un espacio vacío (que se define menor que cualquier letra), un número contable de veces.
* Los ''[[número natural|naturales]]'', ''[[número entero|enteros]]'', ''[[número racional|racionales]]'' y los ''[[número real|reales]]'', con el orden usual de las relaciones [[
** Los '''naturales''' forman el mínimo conjunto totalmente ordenado sin [[cota superior]].
** Los '''enteros''' forman el mínimo conjunto totalmente ordenado sin cota superior ni [[cota inferior|inferior]].
|
ediciones