فَإِذَا أُوجِبَ مِنْهُ شَيْءٌ بِإِلَّا جَاءَ الْقَصْرُ ضَرُورَةً
جب «إلا» کے ذریعے عمومی دائرے میں سے ایک چیز کا اثبات ہو تو لازماً قصر پیدا ہوتا ہے۔
پہلے نفی اس جنس کے تمام متعلقہ افراد یا احوال پر پھیلتی ہے۔ پھر «إلا» ایک معین فرد یا حال کو نفی سے نکال کر اس کا اثبات کرتی ہے۔ باقی متبادل نفی ہی کے حکم میں رہتے ہیں۔
اسی لیے «ما جاء إلا زيد» کا مجموعی مفہوم صرف «زید آیا» نہیں بلکہ «آنے والے دوسرے متعلقہ افراد نہیں آئے، آنے والا زید ہے» بنتا ہے۔ حصر دو مرحلوں، نفی اور استثناء، کے اجتماع سے ثابت ہوا۔