«فهو ما حكم فيها بثبوت شيء لشيء أو نفيه عنه»
پس حملیہ وہ قضیہ ہے جس میں کسی چیز کے لیے دوسری چیز کا ثبوت یا اس سے اس کی نفی کا حکم کیا جائے۔
«زید قائم ہے» میں زید کے لیے قیام ثابت کیا گیا ہے۔ «زید قائم نہیں» میں اسی قیام کی زید سے نفی کی گئی ہے۔ دونوں میں زید براہِ راست وہ موضوع ہے جس پر حکم عائد ہوتا ہے۔
اس سے واضح ہوا کہ حملیہ صرف اثبات کا نام نہیں؛ اثباتی اور نفی دونوں احکام حملیہ کی ساخت میں آ سکتے ہیں۔