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