ধরণের শব্দার্থক শব্দগুলিতে সেটগুলি এড়ানোর মূল কারণটি হ'ল একটি সাধারণ প্রোগ্রামিং ভাষা আমাদের স্বেচ্ছাসেবীর পুনরাবৃত্তির কার্যকারিতা সংজ্ঞায়িত করতে দেয়। অতএব, কোনও প্রকারের অর্থ যা-ই হোক না কেন, এটিতে নির্দিষ্ট পয়েন্টের সম্পত্তি থাকতে হবে। এই জাতীয় সম্পত্তি সহ একমাত্র সেট হ'ল সিঙ্গলটন সেট।
আরও সুনির্দিষ্টভাবে বলতে গেলে, টাইপ (যা সাধারণত একটি ফাংশন টাইপ) এর একটি পুনরাবৃত্ত সংজ্ঞায়িত মান নির্ধারিত বিন্দু সমীকরণ দ্বারা সংজ্ঞায়িত হয় যেখানে পারেন কোন প্রোগ্রাম হতে। যদি সেট হিসাবে ব্যাখ্যা করা হয় তবে আমরা প্রতিটি একটি নির্দিষ্ট পয়েন্টের প্রত্যাশা করব । তবে এই সম্পত্তি সহ একমাত্র সেট হ'ল সিঙ্গলটন।বনামττv = Φ ( v )Φ : τ→ ττটিচ: টি। টিটি
অবশ্যই, আপনি এও বুঝতে পেরেছিলেন যে অপরাধী শাস্ত্রীয় যুক্তিযুক্ত। আপনি যদি অন্তর্দৃষ্টিবিদ সেট তত্ত্বের সাথে কাজ করেন, তবে এটি স্থির-পয়েন্ট সম্পত্তি সহ অনেকগুলি সেট রয়েছে তা ধরে রাখার সাথে সঙ্গতিপূর্ণ। প্রকৃতপক্ষে, এটি প্রোগ্রামিং ভাষার শব্দার্থবিদ্যা দিতে ব্যবহৃত হয়েছে, উদাহরণস্বরূপ দেখুন
অ্যালেক্স সিম্পসন, Intuitionistic সেট তত্ত্ব এর মডেল Recursive ধরনের জন্য কম্প্যুটেশনাল পর্যাপ্ততা , বিশুদ্ধ এর অ্যানটিকুইটিজ এবং ফলিত যুক্তিবিদ্যা, 130: 207-275, 2004।