Divisio and partitio are classical terms for definitions. A partitio is just an intensional definition. A divisio will not be an extensional definition, but an exhaustive list of subsets of the established, within the sense that every member from the "divided" established is often a member