Description: One of the topologies on an ordinal number is its successor. (Contributed by Chen-Pang He, 7-Nov-2015)