In mathematics, **ordinals** are a generalization of natural numbers used to describe the order type of well-ordered sets—that is, they extend counting beyond finite numbers to represent positions or ranks in infinite sequences. Each ordinal represents the position of an element within a well-ordered set, capturing both the notion of “how many” elements come before it and the structure of their ordering.