நிரப்பு கணம்

கணக் கோட்பாட்டில், ஒரு கணத்தின் நிரப்பு கணம் அல்லது நிரப்பி (complement set, complement) என்பது அக்கணத்தில் இல்லாத உறுப்புகளின் கணமாகும்.

A , B என்ற இரு கணங்களை எடுத்துக் கொண்டால், B ஐப் பொறுத்து A இன் நிரப்பி என்பது, A இல் இல்லாத ஆனால் B இல் உள்ள உறுப்புகளின் கணம். இது சார் நிரப்பு கணம் எனப்படும்.

A மற்றும் தேவைக்காக எடுத்துக் கொள்ளப்பட்ட எல்லா கணங்களையும் உட்கணங்களாகக் கொண்ட கணம் U அவற்றின் அனைத்து கணம் எனப்படும். இந்த அனைத்து கணத்தைப் பொறுத்து A இன் நிரப்பு கணம் என்பது, A இல் இல்லாத ஆனால் U இல் உள்ள உறுப்புகளின் கணம் ஆகும். இந்த நிரப்பு கணம் தனி நிரப்பு கணம் (absolute complement) எனப்படும்.

சார் நிரப்பி

A , B இரு கணங்கள் எனில்,B ஐப் பொறுத்து A இன் சார் நிரப்பி என்பது, A இல்லாத ஆனால் B இல் உள்ள உறுப்புகளின் கணம்^[1]. இக்கணம் B , A இன் கணக் கோட்பாட்டு வித்தியாசம் (set-theoretic difference) அல்லது வேறுபாட்டுக் கணம் எனவும் அழைக்கப்படுகிறது^[2].

A (இடது வட்டம்) இன், B (வலது வட்டம்) ஐப் பொறுத்த சார் நிரப்பு கணம்:

B\cap A^{c}~~~~=~~~~B\setminus A

ISO 31-11 தரப்படி இதன் குறியீடு B ∖ A

B\setminus A=\{x\in B\,|\,x\notin A\}.

எடுத்துக்காட்டுகள்

{1,2,3} ∖ {2,3,4} = {1}
{2,3,4} ∖ {1,2,3} = {4}
If $\mathbb {R}$ மெய்யெண்களின் கணம்; $\mathbb {Q}$ விகிதமுறு எண்களின் கணம் எனில்:

\mathbb {R} \setminus \mathbb {Q} =\mathbb {I}

= விகிதமுறா எண்களின் கணம்.

பண்புகள்

சேர்ப்பு, வெட்டு ஆகிய கணச் செயலிகளுடன் சார் நிரப்பியின் சில பண்புகள்:

A, B, C மூன்று கணங்கள் எனில் கீழ்வரும் முற்றொருமைகள் உண்மையாகும்:

C ∖ (A ∩ B) = (C ∖ A)∪(C ∖ B)
C ∖ (A ∪ B) = (C ∖ A)∩(C ∖ B)
C ∖ (B ∖ A) = (C ∩ A)∪(C ∖ B)

(மாற்று வழி: A ∖ (B ∖ C) = (A ∖ B)∪(A ∩ C) )

(B ∖ A) ∩ C = (B ∩ C) ∖ A = B∩(C ∖ A)
(B ∖ A) ∪ C = (B ∪ C) ∖ (A ∖ C)
A ∖ A = Ø
Ø ∖ A = Ø
A ∖ Ø = A

தனி நிரப்பி

U ஐப் பொறுத்த

A

இன் தனி நிரப்பி :

Ac = U \ A

அனைத்து கணம் $U$ வரையறுக்கப்பட்டால், $U$ இல் $A$ இன் சார் நிரப்பி கணம் $A$ இன் தனி நிரப்பி கணம் ஆகும். அதன் குறியீடு $A c$ அல்லது $A'$ . $U$ நிலையானது எனில், இந்த நிரப்பி கணம் $\complement _{U}A$ அல்லது $\complement A$ எனவும் குறிக்கப்படும்^[3]: