מספר סודר
טיפוס סדר של קבוצה סדורה היטב / ויקיפדיה האנציקלופדיה encyclopedia
בתורת הקבוצות, מספר סודר (באנגלית: Ordinal number) הוא טיפוס סדר של קבוצה סדורה היטב. את רעיון המספרים הסודרים הגה לראשונה אבי תורת הקבוצות גאורג קנטור, במסגרת עבודתו על קבוצות נגזרות.
המוטיבציה להגדרת המספרים הסודרים מגיעה מהרצון להכליל את התכונות המועילות של המספרים הטבעיים. למספרים הטבעיים שני תפקידים עיקריים:
במסגרת תורת הקבוצות מגדירים את המספרים המונים כהכללה של המספרים הטבעיים במובן הראשון, כך שניתן יהיה לייצג גם כמויות אינסופיות. המספרים הסודרים מוגדרים במטרה להכליל את המובן השני, כך שניתן יהיה לדבר על איברים במקומות "אינסופיים" בסדרה.
המספרים הסודרים הראשונים הם המספרים הטבעיים (בתורת הקבוצות מקובל להחשיב את כמספר טבעי). לאחריהם מגיע הסודר האינסופי הראשון, (אומגה). מתאפיין בכך שהוא "הסודר הקטן ביותר שגדול מכל מספר טבעי". לאחריו מגיעים הסודרים: