הבדלים בין גרסאות בדף "תורת הקבוצות"

נוסף בית אחד ,  לפני שנתיים
"מוכלת או חלקית" - זהו שם האופרטור.
(ביטול גרסה 22947362 של 77.127.102.245 (שיחה)רמת הפירוט מספקת.)
("מוכלת או חלקית" - זהו שם האופרטור.)
 
=== יחסים בין קבוצות ===
אומרים ש-A '''מוכלת''' ב-B '''או''' '''חלקית''' ל-B (ומסמנים <math>A\subseteq B</math>) אם כל איבר של A הוא איבר של B. יחס חשוב זה מגדיר את ה'''שוויון''' בין קבוצות: קבוצות הן שוות אם יש להן אותם איברים, כלומר <math>A=B</math> [[אם ורק אם]] <math>A\subseteq B</math> וגם <math>B\subseteq A</math>. זו תכונה מהותית של קבוצות, הממחישה שאין להן מבנה או תכונות מעבר לרשימת האיברים שהן מכילות. שילוב היחסים מאפשר להגדיר חלקיות ממש: A חלקית ממש לקבוצה B אם ורק אם היא חלקית לה, אך אינה שווה לה; במקרה זה כותבים <math>A\subset B</math> או <math>A\varsubsetneq B</math>. בעוד שיחס ההכלה הוא [[יחס סדר חלש]], חלקיות אמיתית היא [[יחס סדר חזק]].
 
==פעולות על קבוצות==
267

עריכות