In mathematics, a set A is a subset of a set B if all elements of A are also elements of B; B is then a superset of A. It is possible for A and B to be equal; if they are unequal, then A is a proper subset of B. The relationship of one set being a subset of another is called inclusion. A is a subset of B may also be expressed as B includes A or A is included in B. A k-subset is a subset with k elements.

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