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