partition

nom féminin

(anglais partition)

  • 1. Division d'un territoire en plusieurs régions dotées de régimes politiques différents : La partition de l'Inde.
  • 2. Zone de mémoire allouée à un programme lors de son exécution en multiprogrammation.

Expressions avec partition

  • Partition d'un ensemble E,

    famille de parties non vides de E, deux à deux disjointes et dont la réunion est E. (Les classes d'équivalence pour une relation d'équivalence définie sur un ensemble forment une partition de cet ensemble.)