Entre las maneras de ordenación de conjuntos, el buen orden permite hablar de "primero", de "siguiente", etcétera. Zermelo enunció que todo conjunto podia dotarse de un buen orden, el orden que se define como aquel que hace que todas las partes de un conjunto tengan un primer elemento. Se verifica tanto el Lema de Zorn como el axioma maximal de Haussdorff, el trascendente axioma de Elección, y muchos otros enunciados, todos ellos equivalentes al Axioma de Zermelo de la buena ordenación.08 junio 2013