תורת הקבוצות - מונחים – הבדלי גרסאות

הוספתי קישורים
(תיקנתי שגיאה)
תגיות: עריכה ממכשיר נייד עריכה דרך האתר הנייד
(הוספתי קישורים)
** '''[[סדר חלקי]]''': יחס המקיים שלוש תכונות: רפלקסיביות, [[יחס אנטי-סימטרי|אנטי סימטריות]] ו[[טרנזיטיביות]].
*** '''[[סדר מלא]]''': סדר מלא הוא '''סדר חלקי''' בו כל שני איברים בקבוצה ניתנים להשוואה.
**** '''[[סדר טוב]]''': סדר טוב הוא '''סדר מלא''' בו לכל תת-קבוצה של הקבוצה יש איבר ראשון.
*** '''[[שרשרת''' (מתמטיקה)|שרשרת]]: קבוצה חלקית לקבוצה סדורה בסדר חלקי, שכל שני איברים בה ניתנים להשוואה (כלומר היא סדורה בסדר מלא).
 
* '''[[חזקה (מתמטיקה)#תורת הקבוצות|קבוצת כל הפונקציות]]''' מקבוצה A לקבוצה B: קבוצה המסומנת <math>B^A</math> והמכילה את כל ה[[פונקציה|פונקציות]] מהקבוצה A אל תוך הקבוצה B.
 
* '''[[הפרדוקס של ראסל]]''': פרדוקס שהראה ש[[תורת הקבוצות הנאיבית]] מכילה סתירות, והוביל לפיתוחה של [[תורת הקבוצות האקסיומטית]].
24

עריכות