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

אומרים ש-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>. בעוד שיחס ההכלה הוא [[יחס סדר חלש]], חלקיות אמיתית היא [[יחס סדר חזק]].