Divisio and partitio are classical terms for definitions. A partitio is simply an intensional definition. A divisio will not be an extensional definition, but an exhaustive list of subsets of the established, in the sense that each member on the "divided" established is really a member of