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

נוספו 24 בתים ,  לפני 10 שנים
←‏מאפיינים: הפנייה שגויה
מ (r2.7.1) (בוט מוסיף: mk:Подмножество)
(←‏מאפיינים: הפנייה שגויה)
 
את יחס ההכלה מאפיינים היחסים הבאים:
* "[[יחס רפלקסיבי|רפלקסיביות]]": כל קבוצה היא תת-קבוצה של עצמה (ובמילים שקולות: כל קבוצה מוכלת בעצמה, או: כל קבוצה היא חלקית לעצמה).
* "[[טרנזיטיביות]]": אם הקבוצה <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>).
 
31,420

עריכות