liigiterminit samasoolistest (st sarnastest, lähedastest) terminitest. D3.8.2. Ühitamatud (ehk ühisosata) on sellised võrreldavad terminid, mille ekstensioonides pole ühiseid elemente. Kuna jutt on võrreldavatest terminitest, siis on nende terminite ekstensioonide kõikidel elementidel vähemalt üks ühine tunnus. Ühised tunnused näitavad, et ühitamatud terminid on üldistatavad ühise sootermini alla. Ühitamatute terminite paar moodustab koos ühise sooterminiga terminite kolmiku. Sel juhul eristatakse traditsiooniliselt kolm võimalust (vt joonis 3.3), kusjuures teine ja kolmas võimalus on esimese võimaluse erijuhtumid. 10 Joonis 3.3. Euleri diagrammidega on esitatud traditsioonilised näited ühisosata (ühitamatute) terminite mahtude kohta. Vasakul on kujutatud kaasalluvuse üldjuhtum, kusjuures kaasalluvad võivad koos täita ka kogu allutava termini mahu. Keskel on kujutatud vastupidiste ehk kontraarsete terminite erijuhtum, selle
liigiterminit samasoolistest (st sarnastest, lähedastest) terminitest. D3.8.2. Ühitamatud (ehk ühisosata) on sellised võrreldavad terminid, mille ekstensioonides pole ühiseid elemente. Kuna jutt on võrreldavatest terminitest, siis on nende terminite ekstensioonide kõikidel elementidel vähemalt üks ühine tunnus. Ühised tunnused näitavad, et ühitamatud terminid on üldistatavad ühise sootermini alla. Ühitamatute terminite paar moodustab koos ühise sooterminiga terminite kolmiku. Sel juhul eristatakse traditsiooniliselt kolm võimalust (vt joonis 3.3), kusjuures teine ja kolmas võimalus on esimese võimaluse erijuhtumid. 10 Joonis 3.3. Euleri diagrammidega on esitatud traditsioonilised näited ühisosata (ühitamatute) terminite mahtude kohta