যদি A এবং B দু’টি সেট হয় এবং B সেটের প্রতিটি উপাদান A সেটেরও উপাদান হয়, কিন্তু A সেটের অন্তত একটি উপাদান B সেটের উপাদান না হয়, তখন B সেটকে A সেটের প্রকৃত উপসেট (Proper subset) বলা হয় । প্রকৃত উপসেট বুঝানোর জন্য “ ⊂ ” চিহ্নটি ব্যবহার করা হয় ।
যেমন--
A = {1, 2, 3, 4, 5}
B = {1, 2, 3, 4}
এবং C = {1, 2, 3, 4, 5}
এক্ষেত্রে, B সেট A সেটের প্রকৃত উপসেট । সাংকেতিকভাবে B ⊂ A,
আবার, C সেটটি A সেটের উপসেট হলেও প্রকৃত উপসেট নয় । সাংকেতিকভাবে--
C ⊆ A, (C সেট A সেটের উপসেট)
কিন্তু C ⊄ A, (C সেট A সেটের প্রকৃত উপসেট নয়)
উপসেট সম্পর্কিত দু’টি সিদ্ধান্তঃ
(১) ফাঁকা সেট হল প্রতিটি সেটের উপসেট ।
(২) প্রতিটি সেট নিজেও এর একটি উপসেট ।