Todo conjunto ordenado en el que cada cadena tiene cota superior, tiene algún elemento maximal.