التعريف

An analogy with one preliminary consisting of two issues and includes a conditional, while its second preliminary includes a particle of exception or something of similar import, and its issues are mutually contradictory or opposites. Its cases are of three types: 1) precluding existence and non-existence; 2) precluding existence but not non-existence; and 3) precluding non-existence but not existence. Some scholars of principles of jurisprudence call it taqsīm, or division.