"A" என்னும் கணம் "B" யின் உட்கணமாக இருந்து B -க்கு ஈடாக (சமமாக) இல்லாமல் இருந்தால், "A" ஆனது B யின் தக்க உட்கணம் அல்லது தகு உட்கணம் (proper subset) என்பர். இதனை கீழ்க்காணுமாறு எழுதுவர். 
formula_12 ("A என்பது B யின் தக்க உட்கணம்") அல்லது formula_13 ("B ஆனது A யின் தக்க கொள்ளும் கணம்"). என்றாலும் சில கணித எழுத்துக்களில் இக்குறியீடுகள் ஒரே மாதிரியாகவே படிப்பர். formula_14 மற்றும் formula_15, எனவே தக்க உட்கணங்களைத் தெளிவாக உணர்த்துவதற்கு பிரித்தறியும் குறியீடுகளைப் பயன்படுத்தல் நலம். formula_16 மற்றும் formula_17 
எடுத்துக்காட்டுகள்:

தக்க உட்கணம்
கணத்தின் உறுப்பு
மேற்கணம்
பட்டியல் முறை