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

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

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

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