תת-קבוצה
קבוצה המוכלת בקבוצה אחרת / ויקיפדיה האנציקלופדיה encyclopedia
בתורת הקבוצות, אומרים שהקבוצה הנתונה היא תת־קבוצה של הקבוצה הנתונה [1] אם כל איבר של הקבוצה שייך גם לקבוצה . (בניסוח פורמלי: לכל מתקיים ).
את הקשר " מוכלת ב־" (או: חלקית ל־, או: תת־קבוצה של , או, מכילה את ) מסמנים כך: , והוא מכונה יחס ההכלה.