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

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

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

יחס סדר חזק, יחס סדר חלקי, יחס סדר חלש, יחס סדר טוב, יחס סדר צפוף, יחס סדר קווי, סדר ליניארי

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