Divisio and partitio are classical terms for definitions. A partitio is actually an intensional definition. A divisio is just not an extensional definition, but an exhaustive listing of subsets of the set, while in the feeling that every member in the "divided" established is usually a member of one of many subsets.Construction: Begin with an overv