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

נוספו 10 בתים ,  לפני 7 שנים
←‏מאפיינים: שלא ייתקבל הרושם שהקבוצות חייבות להיות זרות
(←‏מאפיינים: שלא ייתקבל הרושם שהקבוצות חייבות להיות זרות)
* "[[טרנזיטיביות]]": אם הקבוצה <math>\ A</math> היא תת-קבוצה של הקבוצה <math>\ B</math> והקבוצה <math>\ B</math> היא תת-קבוצה של הקבוצה <math>\ C</math>, אזי הקבוצה <math>\ A</math> היא גם תת-קבוצה של הקבוצה <math>\ C</math> (בניסוח פורמלי: אם <math>\ A \subseteq B</math> וגם <math>\ B \subseteq C</math> אז <math>\ A \subseteq C</math>).
 
אם כן, [[יחס]] ה'''הכלה''' הוא [[יחס סדר חלקי]]: הוא [[רפלקסיביות|רפלקסיבי]], [[יחס אנטי סימטרי|אנטיסימטרי חלש]] ו[[טרנזיטיביות|טרנזטיבי]]. היחס אינו שלם: כי יש זוגות של קבוצות (כמו קבוצת הגברים וקבוצת הנשיםהישראלים, או הקבוצה <math>\ \{ 1,2 \}</math> והקבוצה <math>\ \{ 2,3 \}</math>) שאף אחת מהן אינה מכילה את רעותה.
 
==יחסים נוספים==