Sanskrit Name: व्यतिरेकव्याप्तिः
The condition related to the logical aspects of inference, where minor terms are absent in every instance that contains major terms, is known as a specific logical constraint.
Alternate Name(s): negative invariable concomitance