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