Divisio and partitio are classical conditions for definitions. A partitio is solely an intensional definition. A divisio is just not an extensional definition, but an exhaustive listing of subsets of a set, within the perception that each member of your "divided" established is really a member of one of several subsets.Stay away from looped carpets