Reverse pervasion

དེ་སྒྲུབ་ཀྱི་དངོས་ཀྱི་བསྒྲུབ་བྱའི་ཆོས་ཀྱི་དོན་ལྡོག་དང་འབྲེལ་སྟོབས་ཀྱིས་དེ་སྒྲུབ་ཀྱི་མི་མཐུན་ཕྱོགས་ལ་འགོད་ཚུལ་དང་མཐུན་པར་མེད་པ་ཉིད་དུ་ཚད་མས་ངེས་པ་དེ།
དེ་སྒྲུབ་ཀྱི་ལྡོག་ཁྱབ་ཀྱི་མཚན་ཉིད།
Definition of reverse pervasion in the proof of that:
That ascertained with valid cognition as categorically not existing, in accordance with the mode of statement, in the dissimilar class in the proof of that; through the force of being related to the meaning-isolate of the explicit property of the probandum in the proof of that.

Illustration: product.

This definition is not definitive, because "sound" is also that.

Definition of x being the reverse pervasion in the proof of that:

1. There exists a correct dissimilar example not possessing the sign and predicate in the proof that sound is impermanent using the sign "x";
2. x is related to impermanent;
3. x is ascertained with valid cognition as categorically non-existent in the dissimilar class in the proof of that

For x = product, those three follow: དེར་ཐལ།

1. Because uncompounded space is that;
2. Because product and impermanent are related as same nature;
3. Product is non-existent among the non-impermanent.

Up a level: Three Modes