Es precisamente esta caracterización taxonómica la que le permite postular su principio de no traslape, pues si las categorías taxonómicas son particiones en un sentido lógico entonces esto implica que las relaciones que se establecen entre estos conceptos y el resto son necesariamente jerárquicas.