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

נוספו 16 בתים ,  לפני 11 שנים
מ
קישורים פנימיים
(הרחבה)
מ (קישורים פנימיים)
[[תמונה: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>).