משתמש:Nfhd/ארגז חול

במתמטיקה, ובעיקר בתורת הקבוצות, מספרים סודרים (או בקיצור סודרים) הם סוג של מספרים שהוצגו בשנת 1897 על ידי המתמטיקאי גאורג קנטור בכדי לסווג ולתאר קבוצות סדורות היטב בהתאם לסוג הסדר המוגדר עליהן. הרעיון הוא, שקבוצות סדורות בעלות אותו מספר סודר יהיו איזומורפיות זו לזו, כלומר שתהיה קיימת עבורן פונקציה חד חד ערכית ועל אשר שומרת על מבנה הסדר שלהן.

הגדרה

קבוצה תקרא טרנזיטיבית אם ורק אם כל איבר המוכל בה הוא גם חלקי לה. קבוצה תקרא סודר, אם ורק אם היא טרנזיטבית ויחס השייכות $\ \in$ מסדר אותה היטב.