En un modelo arbóreo o jerárquico tradicional de organización del conocimiento — como las taxonomías y clasificaciones de las ciencias generalmente empleadas- lo que se afirma de los elementos de mayor nivel es necesariamente verdadero de los elementos subordinados, pero no a la inversa.