Divisio and partitio are classical terms for definitions. A partitio is solely an intensional definition. A divisio is not really an extensional definition, but an exhaustive listing of subsets of a established, from the sense that each member from the "divided" set is actually a member of