In set theory, a limit ordinal is an ordinal number that is neither zero nor a successor ordinal. Alternatively, an ordinal λ is a limit ordinal if there is an ordinal less than λ, and whenever β is an ordinal less than λ, then there exists an ordinal γ such that β < γ < λ. Every ordinal number is either zero, or a successor ordinal, or a limit ordinal. For example, ω, the smallest ordinal greater than every natural number is a limit ordinal because for any smaller ordinal (i.e., for any natural number) n we can find another natural number larger than it (e.g. n+1), but still less than ω.