Order type one

Order type one is an ordinal number corresponding to the order type of a one-element set, such as the set of zero or the set of one.