תורת הקבוצות הנאיבית – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מקף בין אות לסימן מתמטי |
דהיוסיפיקציה חלקית |
||
שורה 6:
* "העצם x אינו איבר בקבוצה A".
נסמן שייכות זו בסימון הבא: <math>x\in A</math>, כלומר x '''איבר ב'''קבוצה A. (איבר אינו יכול "להופיע פעמיים" בקבוצה - או שהוא שייך לה, או שאינו שייך).
נתבונן עתה בקבוצה A כלשהי, ועליה נשאל, "האם בקבוצה A יש איברים?"
שורה 21:
יחסים חשובים בין הקבוצות הם:
* '''הכלה''' או '''חלקיות''': כלומר, כל איבר x בקבוצה A הוא גם איבר בקבוצה B, יחס זה מסומן ב- <math>A\subseteq B</math>, אומרים גם שהקבוצה A חלקית לקבוצה B.
* '''שוויון''':
* '''חלקיות ממש''': הקבוצה A תהיה חלקית ממש לקבוצה B אם ורק אם היא חלקית לה אך אינה שווה לה. בצורה אחרת נגדיר <math>A\subset B</math> [[אם"ם]] <math>A\subseteq B</math> וגם קיים איבר x ב-B שמקיים <math>x\notin A</math>.
==קבוצה אינסופית==
:<math> N = \left\{1,2,3,...\right\} </math>
|