 Avicenna distinguishes among three types of disjunctive statements: (i) exclusive and exhaustive; (ii) exclusive non-exhaustive; (iii) inclusive. Put simply, their characteristic properties may be expressed in terms of the following three relations: