مجموعه‌های مجزا

مجموعه‌های ${\displaystyle A}$

${\displaystyle A\cap B=\mathrm{\varnothing }}$

یک خانواده ${\displaystyle (M_i{)}_{i\in I}}$

${\displaystyle M_i\cap M_j=\mathrm{\varnothing }}$

برای ${\displaystyle i\ne j}$

و ${\displaystyle i,j\in I}$

اگر اجتماع این مجموعه‌ها را در نظر بگیریم، آنگاه اجتماع مجموعه‌های مجزا به دست می‌آید که به شکل زیر است:

${\displaystyle M=\dot{\bigcup _{i\in I}}{M}_i}$

اگر اعضای خانواده مجموعهٔ تهی نباشند، در این صورت به افراز مجموعه ${\displaystyle M}$

به صورت همانند می‌توان به جای خانواده مجموعه‌ها از سیستم مجموعه‌ها هم استفاده کرد.

• مجموعه‌های ${\displaystyle A=\{1,2,3\}}$
  و ${\displaystyle B=\{7,8,11\}}$
  مجزایند، چون هیچ عضو مشترکی ندارد.
• مجموعه‌های ${\displaystyle A=\{1,2,7\}}$
  و ${\displaystyle B=\{6,7,8,11\}}$
  مجزا نیستند، چون دارای عضو مشترک ${\displaystyle 7}$
  هستند.
• سه مجموعهٔ ${\displaystyle A=\{1,2,3\}}$
  ، ${\displaystyle B=\{4,5\}}$
  و ${\displaystyle C=\{5,6,7\}}$
  به صورت جفت مجزا نیستند، چون حداقل یکی از اشتراک‌های آن‌ها (${\displaystyle B\cap C}$
  ) مجموعهٔ غیرتهی است.

افراز زیر، افرازی نامتناهی از مجموعه‌های مجزا است که اعداد صحیح را شکل می‌دهند:

${\displaystyle \{0\},\{1,-1\},\{2,-2\},\{3,-3\},\{4,-4\},\dots }$

.

• مجموعه تهی ${\displaystyle \mathrm{\varnothing }}$
  از هر مجموعهٔ دیگر مجزاست.
• ${\displaystyle \{a\}}$
  و ${\displaystyle B}$
  حتماً مجزا هستند، اگر ${\displaystyle a\notin B}$
  .
• قدرت یک اجتماع مجزا متناهی برابر است با جمع تک تک قدرت‌ها. برای اجتماع‌های غیر مجزا به فرمول زیب مراجعه کنید.

مشارکت‌کنندگان ویکی‌پدیا. «Disjunkt». در دانشنامهٔ ویکی‌پدیای آلمانی، بازبینی‌شده در ۱۴ آوریل ۲۰۱۱.