קבוצה המוכלת בקבוצה אחרת מוויקיפדיה, האנציקלופדיה החופשית
בתורת הקבוצות, אומרים שקבוצה היא תת־קבוצה של קבוצה [1] אם כל איבר של הקבוצה שייך גם לקבוצה . (בניסוח פורמלי: לכל מתקיים ). על פי הגדרה זו ייתכן ש ו- שוות. אם הן שונות, אז היא תת-קבוצה ממש של .
את הקשר " מוכלת ב־" (או: חלקית ל־, או: תת־קבוצה של , או, מכילה את ) מסמנים כך: , והוא מכונה יחס ההכלה.
הקבוצה הריקה היא קבוצה חלקית לכל קבוצה נתונה. זאת מכיוון שלא קיים בקבוצה הריקה איבר שלא נמצא בקבוצה הנתונה (הטענה נכונה באופן ריק כיוון שלקבוצה הריקה אין איברים כלל).
ליחס ההכלה המאפיינים הבאים:
אם כן, יחס ההכלה הוא יחס סדר חלקי: הוא רפלקסיבי, אנטיסימטרי חלש וטרנזיטיבי. היחס אינו שלם: כי יש זוגות של קבוצות (כמו קבוצת הגברים וקבוצת הישראלים, או הקבוצה והקבוצה ) שאף אחת מהן אינה מכילה את רעותה.
באמצעות יחס ההכלה ניתן להגדיר את יחס השוויון בין קבוצות; אומרים שהקבוצה שווה לקבוצה אם ורק אם הקבוצה מכילה את הקבוצה וגם הקבוצה מכילה את הקבוצה . (בכתיב פורמלי: ).
באמצעות יחס ההכלה ויחס השוויון ניתן להגדיר יחס נוסף; כאשר הקבוצה מכילה את הקבוצה אך אינה שווה לה (יש איבר בקבוצה שהוא אינו איבר בקבוצה , ובניסוח פורמלי וגם ), נאמר שהקבוצה מכילה ממש את הקבוצה , או במילים שקולות: הקבוצה היא חלקית ממש לקבוצה . יחס זה מסמנים . (בכתיב פורמלי: ).
הסימון עשוי להטעות: בעוד שכאן (ובמרבית הספרים והמאמרים המודרניים) מציינים ו־ הכלה ו"הכלה ממש" בהתאמה, יש ספרים שבהם משתמשים בסימונים ו־ לאותן מטרות, בהתאמה.
Seamless Wikipedia browsing. On steroids.