מבוא למתמטיקה אוניברסיטאית/הגדרות וסימונים נוספים: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
Texvc2LaTeXBot (שיחה | תרומות) מ החלפת קוד LaTeX מיושן mw:Extension:Math/Roadmap |
Shalomori123 (שיחה | תרומות) תגיות: עריכה ממכשיר נייד עריכה דרך האתר הנייד |
||
שורה 16:
*במקרה כזה, נגיד כי <math>B</math> היא ''תת־קבוצה'' של <math>A</math> או ''קבוצה חלקית'' ל־<math>A</math> .
*דרך אחרת להביע את <math>B\sube A</math> , היא לכתוב: <math>\forall x\in B,x\in A</math> (כלומר: כל אבר השייך לקבוצה <math>B</math> שייך גם לקבוצה <math>A</math>).
*אם קיים אבר בקבוצה <math>A</math> שאינו נמצא בקבוצה <math>B</math> , נגיד שהקבוצה <math>B</math> ''מוכלת ממש'' בקבוצה <math>A</math> . נכתוב זאת בשפת תורת הקבוצות: <math>\exists x\in A|x\not\in
:סימון ל''הכלה ממש'': <math>B\subset A</math> . במקרה זה, נוכל לכתוב כי <math>A\not\subset B</math> (כלומר <math>A</math> אינה מוכלת ב־<math>B</math>).
*יש המסמנים הכלה בעזרת הסימון <math>B\subset A</math> , ואילו הכלה ממש בעזרת <math>B\subsetneq A</math>. בקורס זה, נדבוק בסימונים שצויינו למעלה.
| |||