因明入正理論疏 3.2

3.2

論　相違有四：謂法自相相違因、法差別相違因、有法自相相違因、有法差別相違因等。

Śāstra: Contradictory (viruddha) is of four kinds: namely, the hetu contradictory to the dharma-svarūpa, the hetu contradictory to the dharma-viśeṣa, the hetu contradictory to the dharmi-svarūpa, and the hetu contradictory to the dharmi-viśeṣa, and so forth.