Un conjunto se dice bien ordenado, o, simplemente, dotado de un buen orden, si toda parte no vacía del mismo admite primer elemento. Es inmediato que si un conjunto está bien ordenado, también está totalmente ordenado, pues bastará tomar una parte de solo dos elementos y uno de ellos, por el buen orden existente, será el primer elemento, es decir, el que está 'pantes' en dicho orden. Ambos elementos son, pues, comparables y el orden es total.

18 septiembre 2021