Secondo la [[matematica]], una tassonomia è una strutturatostruttura ad [[albero filogenetico|albero]] di istanze (o categorie) appartenenti ad un dato gruppo di [[concetto|concetti]]. A capo della struttura c'è un'istanza singola, il [[vertice (teoria dei grafi)|nodo]] radice, le cui proprietà si applicano a tutte le altre istanze della gerarchia (sotto-categorie). I nodi sottostanti a questa radice costituiscono categorie più specifiche le cui proprietà caratterizzano il sottogruppo del totale degli oggetti classificati nell'intera tassonomia. {{Citazione necessaria}}