Divisio and partitio are classical phrases for definitions. A partitio is just an intensional definition. A divisio is just not an extensional definition, but an exhaustive list of subsets of a established, from the feeling that each member on the "divided" established can be a member of o