Divisio and partitio are classical conditions for definitions. A partitio is solely an intensional definition. A divisio is not an extensional definition, but an exhaustive list of subsets of the set, from the sense that each member of the "divided" established is really a member of among the subsets.Pre-procedure: We deal with places and stains as