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

תוכן שנמחק תוכן שנוסף
הרחבה ועריכה קלה
מאין תקציר עריכה
שורה 1:
[[תמונה: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>\ B \subseteq A</math>.