תת-קבוצה – הבדלי גרסאות

הוסרו 10 בתים ,  לפני 4 שנים
מ
שוחזר מעריכות של 82.81.2.34 (שיחה) לעריכה האחרונה של KotzBot
אין תקציר עריכה
מ (שוחזר מעריכות של 82.81.2.34 (שיחה) לעריכה האחרונה של KotzBot)
[[קובץ:Group set.png|שמאל|ממוזער|250px|[[דיאגרמת ון]] של קבוצה עם תת-קבוצה המוכלת בה]]
ב[[תורת הקבוצות]], אומרים שה[[קבוצה (מתמטיקה)|קבוצה]] הנתונה <math>\ B</math> היא '''תת-קבוצה''' של הקבוצה הנתונה קקי ( <math>\ A</math>){{הערה|1=או במילים שקולות: הקבוצה <math>\ B</math> היא '''חלקית''' לקבוצה <math>\ A</math>, או: הקבוצה <math>\ B</math> '''מוכלת''' בקבוצה <math>\ A</math>, או: הקבוצה <math>\ A</math> '''מכילה''' את הקבוצה <math>\ B</math>.}} אם כל איבר של הקבוצה <math>\ B</math> שייך גם לקבוצה <math>\ A</math>. (בניסוח פורמלי: לכל <math>\ x\in B</math> מתקיים <math>\ x \in A</math>).
 
את הקשר "<math>\ B</math> מוכלת ב-<math>\ A</math>" (או: <math>\ B</math> חלקית ל-<math>\ A</math>, או: <math>\ B</math> תת-קבוצה של <math>\ A</math>, או, <math>\ A</math> מכילה את <math>\ B</math>) מסמנים כך: <math>\ B \subseteq A</math>, והוא מכונה '''יחס ההכלה'''.