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

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

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