a condition by name but not virtue (الشَّرْطُ اسْمًا لَا حُكْماً)
أصول الفقه
التعريف :
A Ḥanafi terminology implying something the ruling requires to operate, yet it the ruling remains non-operational when it happens because the ruling is attached to another condition that is consequential to it.