ژێرکۆمەڵ: جیاوازیی نێوان پێداچوونەوەکان

[[Fileپەڕگە:Venn A subset B.svg|thumb|left]]

لە [[بیرکاری]]، بەتایبەت لە [[بیرۆکەی کۆمەڵ]]دا، [[کۆمەڵ (بیرکاری)|کۆمەڵە]]ی A '''ژێرکۆمەڵـ'''ـێکی کۆمەڵەی Bیە ئەگەر A کەوتبێتە ناو B. ئەڵبەت دەکرێت A و B بەرانبەر بن. ئەو پەیوەندییە کە کۆمەڵیک ژێرکۆمەڵی ئەویتر بێت پێی دەگوترێت: '''داگری'''، یان هەندێجارھەندێجار: '''تێکەوتن'''.

ئەگەر ''A'' و ''B'' دوو کۆمەڵی جیاواز بن و هەرھەر [[ئەندام (بیرکاری)|ئەندام]]ێکی ''A'' ئەندامێکی ''B''ش بێت، ئەوکات:

* ''A'' ژێرکۆمەڵێکی ''B''یە (یان ''A'' کەوتۆتە ناو ''B'')، وە بەم جۆرە دیاریدەکرێت: <math>A \subseteq B</math>،

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

* ''B'' '''سەرکۆمەڵـ'''ـێکی ''A''یە (یان ''B'' داگری ''A''یە)، وە بەم جۆرە دیاریدەکرێت: <math>B \supseteq A.</math>

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

* ''A'' ژێرکۆمەڵێکی '''ڕوونـ'''ـی ''B''یە. کە بەم جۆرە دەنووسرێت: <math>A\subsetneq B.</math>

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

* ''B'' سەرکۆمەڵێکی ڕوونی ''A''یە. کە بەم جۆرە دەنووسرێت: <math>B\supsetneq A.</math>

[[Categoryپۆل:بیرکاری]]