In set theory, ordinals are also ordinal numbers people use to order infinite sets. An example is the set formula_1 (or formula_2 for short), which is the set containing all natural numbers (including 0). This is the smallest ordinal number that is infinite, and there are many more (such as formula_2 + 1).