ஒரு தொகுப்பு மற்றொரு தொகுப்பின் உறுப்பாக இருக்க முடியுமா
கணிதத்தில், ஒரு தொகுப்பு A என்பது ஒரு தொகுப்பு B இன் துணைக்குழுவாகும், அல்லது அதற்கு சமமான B என்பது A இன் மேல்தொகுப்பாகும், A என்பது B க்குள் "அடங்கியிருந்தால்", அதாவது, A இன் அனைத்து உறுப்புகளும் B இன் உறுப்புகளாகும். A மற்றும் B ஆகியவை ஒத்துப்போகலாம். ஒரு தொகுப்பு மற்றொன்றின் துணைக்குழுவாக இருப்பதன் உறவு சேர்க்கை அல்லது சில நேரங்களில் கட்டுப்பாடு என்று அழைக்கப்படுகிறது. A என்பது B இன் துணைக்குழுவாக இருக்கலாம், ஏனெனில் B என்பது A ஐ உள்ளடக்கியது; அல்லது A என்பது B இல் சேர்க்கப்பட்டுள்ளது.