אשנב למתמטיקהמשפט 2.1 · יחידה 2נפוץ במבחנים

שוויון קבוצות לפי שייכות והכלה דו-צדדית

Set Equality via Membership and Double Inclusion

ניסוח המשפט

English statement

זו לב היחידה: כל הוכחת זהות נכתבת או כשרשרת או כשתי הכלות, ו"רואים בדיאגרמת ון" אינו מקבל ניקוד.

הוכח .

כיוון : נניח . תמיד . בכיוון השני יהי ; אם אז ‏(כי )‏, ואם סיימנו, אז . שתי ההכלות נותנות .
כיוון : נניח . יהי , אז , ולכן .

MathKiller כולל מאות שאלות תרגול על אשנב למתמטיקה (קורס 04101 של האוניברסיטה הפתוחה), עם פתרונות מודרכים, מעקב התקדמות ומבחני סימולציה.