תת-קבוצה – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ קישורים פנימיים |
אין תקציר עריכה |
||
שורה 18:
באמצעות יחס ההכלה ויחס השוויון ניתן להגדיר יחס נוסף; כאשר הקבוצה <math>\ A</math> מכילה את הקבוצה <math>\ B</math> אך אינה שווה לה (יש איבר בקבוצה <math>\ A</math> שהוא אינו איבר בקבוצה <math>\ B</math>, ובניסוח פורמלי <math>\ B \subseteq A</math> וגם <math>\ B \neq A</math>), נאמר שהקבוצה <math>\ A</math> '''מכילה ממש''' את הקבוצה <math>\ B</math>, או במילים שקולות: הקבוצה <math>\ B</math> היא '''חלקית ממש''' לקבוצה <math>\ A</math>. יחס זה מסמנים <math>\ B \subset A</math>. (בכתיב פורמלי: <math>A \subset B\iff B\subseteq A \and B\neq A</math>).
הסימון <math>\ \subset</math> עשוי להטעות: בעוד שכאן (ובמרבית הספרים והמאמרים המודרניים) מציינים <math>\ \subseteq</math> ו-<math>\ \subset</math> הכלה ו"הכלה ממש", יש ספרים שבהם משתמשים בסימונים <math>\subset</math> ו-<math>\subsetneq</math> לאותן מטרות, בהתאמה.
==ראו גם==
| |||