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