কোনো সেট থেকে যতগুলো সেট গঠন করা যায়, এদের প্রতিটি সেটকে সেই সেটের উপসেট বলে। অর্থাৎ, যদি A সেটের প্রত্যেক উপাদান B সেটেরও উপাদান হয়, তবে A কে B এর উপসেট বলে। একে প্রতীকে লেখা হয়, A ⊆ B এবং পড়া হয় A, B এর উপসেট।
কোনো সেট থেকে যতগুলো সেট গঠন করা যায়, এদের প্রতিটি সেটকে সেই সেটের উপসেট বলে। অর্থাৎ, যদি A সেটের প্রত্যেক উপাদান B সেটেরও উপাদান হয়, তবে A কে B এর উপসেট বলে। একে প্রতীকে লেখা হয়, A ⊆ B এবং পড়া হয় A, B এর উপসেট।