প্রস্তাবনা ১: খালি সেট প্রতিটি সেটের একটি উপসেট।

প্রমাণ: প্রদত্ত যেকোন সেট "A"-র জন্য আমাদেরকে প্রমাণ করতে হবে ø "A"-এর একটি উপসেট। অর্থাৎ দেখাতে হবে ø-এর সব উপাদান "A"-এরও উপাদান।

কিন্তু ø-র কোন উপাদান নেই।

একজন অভিজ্ঞ গণিতবিদের জন্য "ø-র কোন উপাদান নেই, সুতরাং ø-র সব উপাদান "A"-এর উপাদান" একটি তুচ্ছ সত্য, কিন্তু গণিতে নতুন কারও জন্য এটি বোঝা কষ্টকর হতে পারে। যেহেতু ø-এর কোন সদস্য উপাদানই নেই, কীভাবে সেই "উপাদানগুলো" অন্য কোন কিছুর সদস্য উপাদান হতে পারে?

এক্ষেত্রে উলটো দিক থেকে চিন্তা করাটা সহজ। যদি আমরা প্রমাণ করতে চাই ø "A"-র উপসেট নয়, আমাদেরকে ø-এর এমন একটি উপাদান খুঁজে বের করতে হবে যেটি "A"-এর উপাদান নয়। কিন্তু এটি অসম্ভব , যেহেতু ø-এর কোন উপাদানই নেই। সুতরাং ø অবশ্যই "A"-এর একটি উপসেট।

নিচের প্রস্তাবনাটি প্রস্তাব করে যে অন্তর্ভুক্তি একটি আংশিক ক্রম।

প্রস্তাবনা ২: যদি "A", "B" ও "C" তিনটি সেট হয় তবে নিচেরগুলো সত্য:

অন্তর্ভুক্তির অন্যান্য ধর্ম
ধর্মাবলি
সংজ্ঞা
প্রতীক