ühed liigid omavad ja teised mitte. Alaliigitus on liigituse liikmete edasiliigitamine alaliikideks, kusjuures liike käsitletakse sooterminitena alaliikide suhtes. 17 Taksonoomilise liigituse erijuhtum on dihhotoomiline liigitus, mille käigus jagatakse termin mingi tunnuse alusel kaheks vasturääkivaks terminiks. Liigitus võib olla mitmeastmeline. Nt reaalarve saab liigitada irratsionaalarvudeks ning ratsionaalarvudeks, ratsionaalarve omakorda murdarvudeks ja täisarvudeks, täisarve omakorda naturaalarvudeks ning mittenaturaalarvudeks (kusjuures täisarvude jaotus on kahe-tähenduslik, sest arv null liigitatakse mõnikord naturaalarvude hulka, mõnikord mitte). Liigitada saab ka mittetaksonoomiliselt. Tuntuim mittetaksonoomiline liigitus on mereoloogiline liigitus. Mereoloogilise liigituse korral liigitatakse tavaliselt koguterminit ning liigituse liikmed ei ole liigitatava termini suhtes alluvad terminid. Näib, et seda oleks õigem
alaliikideks, kusjuures liike käsitletakse sooterminitena alaliikide suhtes. 17 Taksonoomilise liigituse erijuhtum on dihhotoomiline liigitus, mille käigus jagatakse termin mingi tunnuse alusel kaheks vasturääkivaks terminiks. Liigitus võib olla mitmeastmeline. Nt reaalarve saab liigitada irratsionaalarvudeks ning ratsionaalarvudeks, ratsionaalarve omakorda murdarvudeks ja täisarvudeks, täisarve omakorda naturaalarvudeks ning mittenaturaalarvudeks (kusjuures täisarvude jaotus on kahe-tähenduslik, sest arv null liigitatakse mõnikord naturaalarvude hulka, mõnikord mitte). Liigitada saab ka mittetaksonoomiliselt. Tuntuim mittetaksonoomiline liigitus on mereoloogiline liigitus. Mereoloogilise liigituse korral liigitatakse tavaliselt koguterminit ning liigituse liikmed ei ole liigitatava termini suhtes alluvad terminid. Näib, et seda oleks õigem