उपसमुच्चय
यदि कोई दो समुच्चय ऐसे हों कि एक का प्रत्येक अवयव दूसरे का भी अवयव हो तो प्रथम समुच्चय को द्वितीय का उपसमुच्चय (subset) कहते हैं। इसे ⊂ और ⊃ से निरुपित किया जाता है। उदाहरण के लिए यदि समुच्चय A का प्रत्येक अवयव B का भी अवयव है तो इसे A ⊂ B से निरुपित करते हैं और 'A उपसमुच्चय है B का' पढ़ते हैं एवं B को A का अधिसमुच्चय कहते हैं।