כל מה שרצית לדעת על תת-קבוצה:
בתורת הקבוצות, אומרים שהקבוצה הנתונה   B {\displaystyle \ B} היא תת-קבוצה של הקבוצה הנתונה   A {\displaystyle \ A} אם כל איבר של הקבוצה   B {\displaystyle \ B} שייך גם לקבוצה   A {\displaystyle \ A} .
(בניסוח פורמלי: לכל   x ∈ B {\displaystyle \ x\in B} מתקיים   x ∈ A {\displaystyle \ x\in A} ).
את הקשר "   B {\displaystyle \ B} מוכלת ב-   A {\displaystyle \ A} " (או:   B {\displaystyle \ B} חלקית ל-   A {\displaystyle \ A} , או:   B {\displaystyle \ B} תת-קבוצה של   A {\displaystyle \ A} , או,   A {\displaystyle \ A} מכילה את   B {\displaystyle \ B} ) מסמנים כך:   B ⊆ A {\displaystyle \ B\subseteq A} , והוא מכונה יחס ההכלה.

נלקח מויקיפדיה

הגדרות נוספות הקשורות לתת-קבוצה:
•תורת הקבוצות
•יחסים מתמטיים