תת-קבוצה
English: Subset

  • דיאגרמת ון של קבוצה עם תת-קבוצה המוכלת בה

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

    את הקשר " מוכלת ב-" (או: חלקית ל-, או: תת-קבוצה של , או, מכילה את ) מסמנים כך: , והוא מכונה יחס ההכלה.

  • מאפיינים
  • יחסים נוספים
  • ראו גם
  • קישורים חיצוניים
  • הערות שוליים

דיאגרמת ון של קבוצה עם תת-קבוצה המוכלת בה

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

את הקשר " מוכלת ב-" (או: חלקית ל-, או: תת-קבוצה של , או, מכילה את ) מסמנים כך: , והוא מכונה יחס ההכלה.