Çavkaniya Binkom bibîne

{{Bêçavkanî|tarîx=çiriya pêşîn 2024}}
{{Agahîdanka giştî
| wêne               = 
| sernavê_wêne       = 
}}
[[Wêne:Venn A subset B.svg|150px|thumb|rast|"''A'' binkomeka ''B'' ye" an em dikarin bibêjin "''B'' serkomeka ''A'' ye".]]
Di [[matematîk]]ê da, bi taybetî di [[bîrdoza komê]] da, koma ''A'' binkomeka koma ''B'' ye heger ''A'' di hundira ''B'' da cih bigre. Dibe ku ''A'' û ''B'' wekhev (yeksan) bin. Heger ''A'' û ''B'' yeksan bin (herdu xwedî heman [[endam (matematîk)|endaman]] bin), heryek binkoma ya dine.

== Pênas ==

Heger ''A'' û ''B'' herdu "[[kom]]" bin, û her [[endam (matematîk)|endamekî]] ''A'' endamê ''B'' jî be, wê demê:
:* ''A'' '''binkom'''a ''B'' ye, û tê nivîsîn: <math>A \subseteq B</math>,
:an bi awayekî hevseng:
:* ''B'' '''serkom'''a ''A'' ye, û tê nivîsîn: <math>B \supseteq A.</math>

Heger ''A'' binkoma ''B'' be, lê ''A'' û ''B'' neyeksan bin (herî kêm yek endamê ''B'' di ''A'' da nebe), wê demê:
:* ''A'' binkoma '''rast''' (an jî '''misoger''') a ''B'' ye, û tê nivîsîn: <math>A\subsetneq B.</math>
:an bi awayekî hevseng:
:* ''B'' serkoma '''rast''' (an jî '''misoger''') a ''A'' ye, û tê nivîsîn: <math>B\supsetneq A.</math>

== Nimûne ==

* Koma {1, 2} binkomeka rast a koma {1, 2, 3} e.
* Her komekê binkomeka xwe ye, lê ne binkomeka rast.
* [[Koma vala]], ku nîşana wê <math>\varnothing</math> e, binkoma her komeka dine. Koma vala bo her komeka din (ji bilî xwe) herdem binkomeka raste.
* [[Hejmarên xwezayî|Koma hejmarên xwezayî]] yek ji binkomên [[Hejmarên rastîn|koma hejmarên rasteqîn]] e.

{{Kontrola otorîteyê}}

[[Kategorî:Kom (Matematîk)]]
[[Kategorî:Matematîk]]