Un ejemplo de ello es una importante caracterización de la relación de orden entre ordinales: todo conjunto de ordinales tiene un supremo, que es el ordinal obtenido como la unión de todos los ordinales del conjunto.