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

هەڵە کاتی درووست‌کردنی هێما:

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

پەڕگە:Empty set symbol.svg

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

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

$M=\varnothing \iff \mathrm{\forall }x:x\in ̸M$

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

ھێما

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

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

بۆ ھەر کۆمەڵێک وەکوو $A$: داڕێژە:Ltr

• $\mathrm{\forall }A:\varnothing \subseteq A$

  $\mathrm{\forall }A:A\cup \varnothing =A$

  $\mathrm{\forall }A:A\cap \varnothing =\varnothing$

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

• $\mathrm{\forall }A:A\times \varnothing =\varnothing$

• $\mathrm{\forall }A:A\subseteq \varnothing \Rightarrow A=\varnothing$

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

  $\mathrm{c}\mathrm{a}\mathrm{r}\mathrm{d}(\varnothing )=0$

سەرچاوەکان

• داڕێژە:بیرخستنەوەی ویکی