סֵמֶל
יוניונפדיה
תִקשׁוֹרֶת
 Google Play כעת ב-
חָדָשׁ! הורד יוניונפדיה במכשיר אנדרואיד שלך!
הורד
גישה מהירה יותר מאשר בדפדפן!
 

תת-קבוצה

מַדָד תת-קבוצה

דיאגרמת ון של קבוצה עם תת-קבוצה המוכלת בה בתורת הקבוצות, אומרים שהקבוצה הנתונה \ B היא תת-קבוצה של הקבוצה הנתונה \ A אם כל איבר של הקבוצה \ B שייך גם לקבוצה \ A. (בניסוח פורמלי: לכל \ x\in B מתקיים \ x \in A). [1]

11 יחסים: אם ורק אם, סדר חלקי, קבוצה (מתמטיקה), תורת הקבוצות, תורת הקבוצות - מונחים, באופן ריק, הקבוצה הריקה, יחס, יחס אנטי-סימטרי, יחס רפלקסיבי, יחס טרנזיטיבי.

אם ורק אם

בלוגיקה מתמטית, אם ורק אם (ראשי תיבות: אם"ם, אנגלית: iff) או "אימוּם" (ובעברית תלמודית: אך ורק אם, או: תנאי כפול) הוא קַשָּׁר לוגי בין שתי טענות השקולות אחת לשנייה במובן שהאחת אמיתית כשהשנייה אמיתית ולהפך.

חָדָשׁ!!: תת-קבוצה ואם ורק אם · ראה עוד »

סדר חלקי

הכלה בתורת הקבוצות, סדר חלקי על קבוצה X הוא יחס בינארי המקיים אחת משתי קבוצות של אקסיומות.

חָדָשׁ!!: תת-קבוצה וסדר חלקי · ראה עוד »

קבוצה (מתמטיקה)

קבוצה היא מושג יסודי במתמטיקה.

חָדָשׁ!!: תת-קבוצה וקבוצה (מתמטיקה) · ראה עוד »

תורת הקבוצות

תורת הקבוצות היא תורה מתמטית בסיסית העוסקת במושג הקבוצה, שהיא אוסף מופשט של איברים שונים זה מזה.

חָדָשׁ!!: תת-קבוצה ותורת הקבוצות · ראה עוד »

תורת הקבוצות - מונחים

* תורת הקבוצות: ענף במתמטיקה העוסק בתכונותיהן של קבוצות, ומשמש כבסיס לאקסיומטיזציה של המתמטיקה.

חָדָשׁ!!: תת-קבוצה ותורת הקבוצות - מונחים · ראה עוד »

באופן ריק

במתמטיקה, נהוג לומר על טענה כי היא נכונה באופן ריק אם נכונותה אינה עומדת כלל למבחן, משום שהיא עוסקת באובייקטים שאינם קיימים.

חָדָשׁ!!: תת-קבוצה ובאופן ריק · ראה עוד »

הקבוצה הריקה

סמלה של הקבוצה הריקה הקבוצה הריקה היא קבוצה שאין בה איברים, והיא מסומנת בסימן \emptyset (שמקורו באות הנורווגית "Ø", אין קשר לאות היוונית פי) או בצורה.

חָדָשׁ!!: תת-קבוצה והקבוצה הריקה · ראה עוד »

יחס

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

חָדָשׁ!!: תת-קבוצה ויחס · ראה עוד »

יחס אנטי-סימטרי

במתמטיקה, יחס אנטי-סימטרי (קרוי גם יחס אנטי-סימטרי חלש) הוא יחס בינארי R, שעבורו לא ייתכן \ xRy ו- \ yRx אלא אם \ x.

חָדָשׁ!!: תת-קבוצה ויחס אנטי-סימטרי · ראה עוד »

יחס רפלקסיבי

בלוגיקה ובמתמטיקה, יחס בינארי \ R מעל קבוצה \ X הוא יחס רפלקסיבי אם עבור כל איבר \ a בקבוצה \ X, נמצא \ a ביחס עם עצמו, כלומר, \ a R a. לדוגמה, היחס "גדול/שווה מ-" \ (\ge) הוא יחס רפלקסיבי; היחס "קרוב אצל" הוא רפלקסיבי (משום שאדם קרוב אצל עצמו).

חָדָשׁ!!: תת-קבוצה ויחס רפלקסיבי · ראה עוד »

יחס טרנזיטיבי

במתמטיקה ולוגיקה, יחס טרַנזיטיבי הוא יחס המקיים את "כלל המעבר": אם a מתייחס ל-b ו-b מתייחס ל-c, אז גם a מתייחס ל-c. תכונה חשובה זו מתקיימת בכל יחס שקילות ובכל יחס סדר.

חָדָשׁ!!: תת-קבוצה ויחס טרנזיטיבי · ראה עוד »

מפנה מחדש כאן:

תת קבוצה, הכלה (תורת הקבוצות), הכלה (יחס), הכלה ממש.

אזכור

[1] https://he.wikipedia.org/wiki/תת-קבוצה

יוֹצֵאנִכנָס
היי! אנחנו בפייסבוק עכשיו! »