Division exhaustive

Une division est dite exhaustive quand elle couvre la totalité du divisé sans rien omettre, première des trois règles de la division logique avec l'exclusivité et l'unité de fondement.