کتاب « منطق در زبان شناسی» نوشته « کوروش صفوی» توسط انتشارات سوره مهر منتشر شده است. "مجموعه‌ای که تنها یک عضو داشته باشد، مجموعه‌ی تک‌عضوی و مجموعه‌ای که هیچ عضوی نداشته باشد (دارای صفر عضو باشد)، مجموعه‌ای تهی نامیده می‌شود. البته بهتر است گفته شود «مجموعه‌ی تهی» و نه «یک مجموعه‌ی تهی»؛ زیرا تنها یک مجموعه‌ی تهی وجود دارد، که آن را با نماد Ø نشان می‌دهند. دلیل این‌که می‌گوییم تنها یک مجموعه‌ی تهی وجود دارد، این است که در نظریه‌ی مجموعه‌ها، اصلی کلی به ‌نام اصل هم‌مصداقی وجود دارد، که می‌گوید: برای آن‌که دو مجموعه از یک‌دیگر متمایز باشند، باید حداقل یک چیز داشته باشیم که عضو یکی از آن‌هاست، اما عضو دیگری نیست. به‌عبارت‌دیگر، اگر فهرست عناصر موجود در دو مجموعه یک‌سان باشد، با یک مجموعه‌ی واحد سروکار داریم. بدیهی است که هر مجموعه‌ی تهی دارای تعداد یک‌سانی عضو (یعنی صفر) است. بنابراین، تنها یک مجموعه‌ی تهی وجود دارد. نتیجه‌ی متعارض‌گونه‌ی این مسئله آن است که مثلا بگوییم مجموعه‌ی همه روسای‌جمهور زن ایالات متحده با مجموعه‌ی همه سگ‌هایی که می‌توانند برنامه‌ی کامپیوتر بنویسند، یکی است. با وجود این، اگر تفاوت بین (الف) شیوه‌ی انتخاب عضوهای یک مجموعه (معیار تمایز عضوها از غیرعضوها) و (ب) عضوهایی که عملا انتخاب می‌شوند را در نظر بگیریم، این مسئله بهتر درک می‌شود. بدیهی است که عضوهای یک‌سان را می‌توان به روش‌های بسیار متفاوت انتخاب کرد. منظور از اصل هم‌مصداقی این است که روش‌های انتخاب عضوهای مجموعه کاملا نادیده گرفته شود. این امر مربوط است به تمایز بین مفهوم و مصداق یا دایره‌ی مصداق‌های یک عبارت زبانی تمایزی که در فصل‌های بعدی این کتاب از اهمیت بسیار برخوردار خواهد بود. یک عبارت اسمی را در نظر بگیرید که مجموعه‌ای را توصیف می‌کند، مثل «ایرانی‌هایی که موی بور دارند»؛ می‌توان گفت که این عبارت اسمی با مشخص کردن تعدادی از ویژگی‌های مشترک، شیء‌ها یا موجوداتی معین را در جهان انتخاب می‌کند (به آن‌ها اشاره می‌کند). موجودات انتخاب شده یا مورد اشاره یعنی افرادی که ایرانی و موبور هستند مصداق‌های این عبارت اسمی‌اند؛ در صورتی که شیوه‌ی انتخاب آن‌ها، یعنی معیارهایی که برای تعیین مصداق‌های این عبارت به کار رفته، مفهوم عبارت خواهد بود. به این ترتیب، می‌توان گفت که مفهوم «مجموعه» در نظریه‌ی مجموعه‌ها، مصداقی است؛ به این معنا که در این نظریه به روش‌های انتخاب اعضای مجموعه کاری نداریم؛ عنوان «اصل هم‌مصداقی» نیز از این‌رو انتخاب شده است."