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

בתורת הקבוצות, יחס המוגדר על קבוצה נקרא קדם⁻סדר אם הוא רפלקסיבי וטרנזיטיבי. מתוך ויקיפדיה

בתורת הקבוצות, סדר חלקי על קבוצה X הוא יחס בינארי המקיים אחת משתי קבוצות של אקסיומות: מתוך ויקיפדיה

בתורת הקבוצות, סדר מלא (או סדר ליניארי) הוא יחס סדר המאפשר להשוות כל שני איברים בקבוצה עליה הוא מוגדר, למשל ליחס \le (קטן שווה) מעל הטבעיים, לכל a ו⁻b מתקיים a \le b או b \le a . קבוצה הסדורה בסדר מלא נקראת קבוצה סדורה (או קבוצה סדורה ליניארית או שרשרת). מתוך ויקיפדיה

אקסיומת הסדר הטוב, יחס סדר חזק, יחס סדר חלקי, יחס סדר חלש, יחס סדר טוב, יחס סדר לינארי, יחס סדר צפוף, יחס סדר קווי, משפט הסדר הטוב, עקרון הסדר הטוב

סדר חייב להיות, סדר חלקי, סדר ט"ו בשבט, סדר טהרה, סדר טהרות, סדר טרוייש, סדר יום (תוכנית רדיו), סדר יוני, סדר ירושה, סדר כוחות