Conjunto bien ordenado

En teoría de conjuntos, un conjunto bien ordenado es un conjunto no vacío totalmente ordenado tal que todo subconjunto no vacío tiene un elemento mínimo. Equivalentemente, puede decirse que un conjunto A es bien ordenado si es totalmente ordenado y bien fundado.

Definición de primer elemento

Si es un conjunto totalmente ordenado se dice que es el primer elemento o elemento mínimo de si satisface:

  • es un elemento de
  • Si es cualquier elemento de , entonces es menor o igual que

Intuitivamente se entiende que el elemento mínimo es el más pequeño de un conjunto.

Other Languages