ערכות דיסאיקנט - מה זה, הגדרה ומושג
קבוצות מפורדות, או קבוצות לא תואמות, הן אלו שאין להן מרכיב משותף. כלומר, הקבוצות M ו- N נפרדות אם צומתן היא קבוצה ריקה.
במילים אחרות, הסטים M ו- N אינם מחוברים אם אף אחד מהיסודות של הראשון אינו בשני ולהיפך. במונחים פורמליים, זה יכול לבוא לידי ביטוי באופן הבא:
בביטוי לעיל, xאני הוא אחד האלמנטים הכלולים בערכה N. בעוד ש- xי הוא אחד האלמנטים של הסט M.
כמו כן, כפי שהזכרנו קודם, שתי קבוצות M ו- N אינן מפרידות אם צומתן היא קבוצה ריקה, כפי שנראה בביטוי הבא:
אנו יכולים להסיק, אם כן, שמערכות נפרדות אינן בלעדיות זו לזו. הסיבה לכך היא שכאשר אלמנט שייך ל- M, מאותה סיבה, הוא לא יכול להיות חלק מ- N ולהיפך.
בתמונה הבאה אנו יכולים לצפות בשתי קבוצות נפרדות בתרשים ון:
דוגמאות לסטים מחוברים
כמה דוגמאות הן הבאות:
- מספרים זוגיים גדולים מ -25 ומספרים אי-זוגיים פחות מ -24.
- אנשים שגרים בעיר מדריד ואנשים שגרים במקסיקו סיטי, באותו יום ובאותו זמן.
- אנשים שהצביעו למפלגה x בבחירות לנשיאות פרואן בשנת 2016 ואנשים שהצביעו למפלגה ובאותן בחירות.
סטים מחוברים זוגיים
קבוצה של (יותר משניים) קבוצות תנותק על ידי זוגות או תתפרק זו מזו אם, כאשר הן לוקחות שתי קבוצות מהקולקטיב, הן תמיד מחוברות.
כלומר, במונחים פורמליים, יהיה לנו את הדברים הבאים, כאשר Nאני ו- Nי שייכים למשפחה של סטים המפורקים על ידי זוגות:
יש לציין שמשפחה של סטים היא קיבוץ של מספר סטים.
