The definition of ordinal numbers ensures that for any non-empty set of ordinal numbers there is alw...