کۆمەڵەی بەتاڵ

کۆمەڵی بەتاڵ: کۆمەڵێک کە ھیچ ئەندامێکی نیە.

نیشانەیەک بۆ کۆمەڵی بەتاڵ

لە بیرکاری و بەتایبەت لە تیۆریی کۆمەڵدا، کۆمەڵەی بەتاڵ (ھێما دەکرێ بە $\varnothing$) کۆمەڵێکی تاقانەیە کە ھیچ ئەندامێکی نەبێت. بە زمانی بیرکاری بەم شێوە پێناسە دەکرێت:

$M=\varnothing \Leftrightarrow \forall x:x\not \in M$

بۆ نموونە کۆمەڵەی ھەموو ژمارە تەواوەکانی نێوان دوو و سێ، کۆمەڵێکی بەتاڵە، چونکە لە نێوان دوو سێدا ھیچ ژمارەیەکی تەواو بوونی نییە.

ھێما

چەند ھێمای باو کە بۆ کۆمەڵێکی بەتاڵ بەکار دەھێنرێت بریتین لە: "{}," "$\varnothing$", و"$\emptyset$".

تایبەتمەندییەکان

بۆ ھەر کۆمەڵێک وەکوو $A$:

• $\forall A:\varnothing \subseteq A$

  $\forall A:A\cup \varnothing =A$

  $\forall A:A\cap \varnothing =\varnothing$

لێکدانی دێکارتی $A$ و کۆمەڵی بەتاڵ:

• $\forall A:A\times \varnothing =\varnothing$

• $\forall A:A\subseteq \varnothing \Rightarrow A=\varnothing$

  $2^{\varnothing }=\{\varnothing \}$

  $\mathrm {card} (\varnothing )=0$

سەرچاوەکان

• بەشداربووانی ویکیپیدیا، «مجموعە تهی»، ویکیپیدیای فارسی. سەردان لە ٢٢ ئازاری ٢٠١٨.