La Enciclopedia Libre Universal en Español dispone de una lista de distribución pública, enciclo@listas.us.es
Conjunto bien ordenado
Artículo de la Enciclopedia Libre Universal en Español.
Se dice que un conjunto está bien ordenado, o que tiene un buen orden, cuando el conjunto tiene un primer elemento en la relación de orden en él.
Por ejemplo: el conjunto de los números naturales, con la relación de orden definida por
"a < b si y sólo si existe c natural tal que a+c=b"
es un conjunto bien ordenado. Su primer elemento es el 1, ya que 1<a para todo a natural, con la relación anteriormente definida.
[escribe] Referencias
Notas
