ژێرکۆمەڵ

لە ویکیپیدیاوە، ئینسایکڵۆپیدیای ئازاد
باز بدە بۆ: ڕێدۆزی، گەڕان
Venn A subset B.svg

لە بیرکاری، بەتایبەت لە بیرۆکەی کۆمەڵدا، کۆمەڵەی A ژێرکۆمەڵــێکی کۆمەڵەی Bیە ئەگەر A کەوتبێتە ناو B. ئەڵبەت دەکرێت A و B بەرانبەر بن. ئەو پەیوەندییە کە کۆمەڵیک ژێرکۆمەڵی ئەویتر بێت پێی دەگوترێت: داگری، یان ھەندێجار: تێکەوتن.

پێناسە[دەستکاری]

ئەگەر A و B دوو کۆمەڵی جیاواز بن و ھەر ئەندامێکی A ئەندامێکی Bش بێت، ئەوکات:

  • A ژێرکۆمەڵێکی Bیە (یان A کەوتۆتە ناو B)، وە بەم جۆرە دیاریدەکرێت: A \subseteq B،

یان بە شێوەی ھاوەسەنگ:

  • B سەرکۆمەڵــێکی Aیە (یان B داگری Aیە)، وە بەم جۆرە دیاریدەکرێت: B \supseteq A.

ئەگەر A ژێرکۆمەڵی B بێت، بەڵام A بەرابەر نەبێت لەگەڵ Bدا (بۆ نموونە لانیکەم یەک ئەندام لە Bدا ھەیە کە لە Aدا نیە)، ئەوکات:

  • A ژێرکۆمەڵێکی ڕوونــی Bیە. کە بەم جۆرە دەنووسرێت: A\subsetneq B.

یان بە شێوەی ھاوسەنگ:

  • B سەرکۆمەڵێکی ڕوونی Aیە. کە بەم جۆرە دەنووسرێت: B\supsetneq A.