3. Көптүктөрдү кемитүү Def – 4.А жана В көптүктөрү берилсин. В көптүгүнө таандык болбогон А көптүгүн элементтеринин көптүгү, А жана В көптүктөрүнүн айырмасы деп аталат жана символу менен белгиленет (2а - чийме). болсо, болот. Жалпы эле — натуралдык сандардын көптүгү, В — жөнөкөй сандарын көптүгү болсо, анда — бир саны менен бардык курама сандардын көптүгү болот.
A көптүгү берилсе экендигин айта кетүү зарыл. Эгерде болсо, болот.
В нын элементи болбогон А көптүгүнүн элементтери менен, А нын элементи болбогон В көптүгүн элементеринин суммасы, А жана В көптүктөрүн симметриялуу айырмасы деп аталат жана ал айырма символу менен белгиленет. Аныктаманы белгилер менен көрүнүштө жазып, симметриялуу айырманы деп да жазабыз. болсо, анда болот. болсо, анда , ал эми болсо, болот, ж. у. с.
Практикада изилдөө зарылдыгына жараша, ар кандай нерселердин көптүктөрү каралганы менен, аларды изилдөө ыкмалары сандарга салыштырылып жүргүзүлөт. Ошондуктан, математика илиминде сандык көптүктөр же сан тамгалардын көптүктөрү кеңири колдонулуп, өзгөчө орунда турат.