Para apresentarmos nossa teoria taxonômica usamos um estilo matemático.
Critério de classificação: Um critério de classificação, ou C, para um conjunto com pelo menos dois elementos, a que chamaremos conjunto universo, ou U, é um conjunto de proposições de argumento único, ao qual chamaremos P1, P2, … Pn, tais que:
Temos ao menos duas proposições.
O conjunto união dos domínios de validade de cada proposição em U, é o conjunto U. Se chamarmos esses domínios abreviadamente: C1, C2, …, Cn, teremos:
C1 C2 … Cn = U
Os domínios de validade em U das proposições são conjuntos disjuntos dois a dois.
C1 C2 =, C2 C3 = , … Cn-1 Cn =
O domínio de validade em U de cada proposição não é um conjunto vazio.
