Trong lý thuyết tập hợp, một số thứ tự là một sự tổng quát hóa của số tự nhiên sử dụng để mô tả sự sắp xếp lần lượt. Một lớp hữu hạn các đối tượng luôn có thể được sắp xếp theo thứ tự chỉ bằng quá trình đếm: tức là ta gán với mỗi đối tượng một số tự nhiên riêng, gọi là "nhãn". Các số thứ tự, theo đó, chính là các "nhãn" dùng để sắp xếp một lớp nói chung (có thể vô hạn).Một số thứ tự được sử dụng để mô tả dạng thứ tự của một tập hợp được sắp thứ tự tốt. Một tập hợp được sắp thứ tự tốt là một tập hợp với một quan hệ > sao choHai tập hợp được sắp thứ tự tốt có cùng dạng thứ tự khi và chỉ khi tồn tại một song ánh chuyển quan hệ trong tập thứ nhất thành quan hệ trong tập thứ hai.Các số thứ tự rất hữu ích cho việc sắp xếp các đối tượng trong một tập hợp, còn các số đếm hữu ích để biết có bao nhiêu đối tượng trong một tập hợp. Sự khác biệt này chỉ thể hiện với các số thứ tự và số đếm vô hạn: các số thứ tự khác nhau có thể có cùng một lực lượng (trong khi đó, hai số thứ tự hữu hạn có cùng lực lượng thì luôn bằng nhau). Giống như các loại số khác, các số thứ tự có thể được cộng, nhân và lũy thừa, tuy nhiên các phép toán này không còn mang tính giao hoán.Các số thứ tự được Georg Cantor giới thiệu vào năm 1883[1] nhằm mục đích xem xét các chuỗi vô hạn và phân loại các tập hợp dẫn xuất, mà trước đây ông đã giới thiệu vào năm 1872 trong khi nghiên cứu tính duy nhất của các chuỗi lượng giác.